On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications

Information and Software Technology

Volumn 50, Issue 4, 2008, Pages 296-321

  Barragáns Martínez, Ana Belén ^a   Pazos Arias, José J ^a   Fernández Vilas, Ana ^a   García Duque, Jorge ^a   López Nores, Martín ^a   Díaz Redondo, Rebeca P ^a   Blanco Fernández, Yolanda ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

Inconsistency; Merging; Requirements specification; Uncertainty; Viewpoints

Indexed keywords

DATABASE SYSTEMS; KNOWLEDGE ACQUISITION; MERGING;

INCONSISTENCY; REQUIREMENTS SPECIFICATION; STAKEHOLDERS; VIEWPOINTS;

SOFTWARE ENGINEERING;

EID: 37849038851     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2007.02.001     Document Type: Article

References (63)

1. S. Easterbrook, E. Yu, J. Aranda, Y. Fan, J. Horkoff, M. Leica, R.A. Qadir, Do viewpoints lead to better conceptual models? An exploratory case study, in: Proceedings of the 13th IEEE International Requirements Engineering Conference (RE'05), IEEE Computer Society, 2005, pp. 199-208.
2. B. Nuseibeh, J. Kramer, A. Finkelstein, ViewPoints: meaningful relationships are difficult!, in: Proceedings of International Conference on Software Engineering (ICSE'03). Invited Paper, IEEE Computer Society Press, Portland, Oregon, USA, 2003, pp. 676-681.
3. Sommerville I., and Sawyer P. Viewpoints: principles, problems and a practical approach to requirements engineering. Annals of Software Engineering 3 (1997) 101-130
4. J.C.S.P. Leite. Viewpoints on viewpoints, in: A. Finkelstein, G. Spanoudakis (Eds.), Joint Proceedings of the SIGSOFT'96 Workshops, Presented at Viewpoints 96: International Workshop on Multiple Perspectives in Software Development, ISBN 0-89791-867-3, San Francisco, USA, 1996, pp. 285-288.
5. L. Cholvy, A. Hunter, Information fusion in logic: a brief overview, in: Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'97), Vol. 1244 of Lecture Notes in Computer Science, Springer, Bad Honnef, Germany, 1997, pp. 86-95.
6. B. Barragáns-Martínez, J.J. Pazos-Arias, A. Fernández-Vilas. On measuring levels of inconsistency in multi-perspective requirements specifications, in: Proceedings of the First Conference on the Principles of Software Engineering (PRISE'04), Buenos Aires, Argentina, 2004, pp. 21-30.
7. Barragáns-Martínez B., Pazos-Arias J.J., and Fernández-Vilas A. Merging requirements views with incompleteness and inconsistency. Proceedings of the IEEE Australian Software Engineering Conference (ASWEC'05) (2005), IEEE Computer Society Press, Brisbane, Australia 58-67
8. B. Barragáns-Martínez, J.J. Pazos-Arias, A. Fernández-Vilas, J. García-Duque, M. López-Nores, R. Díaz-Redondo, Y. Blanco-Fernández, Composing multi-perspective software requirements specifications, International Journal of Software Engineering and Knowledge Engineering, 2007, in press.
9. Pazos-Arias J.J., and García-Duque J. SCTL-MUS: a formal methodology for software development of distributed systems. A case study. Formal Aspects of Computing 13 (2001) 50-91
10. R. Milner, Communication and Concurrency, International Series in Computer Science, Prentice-Hall, 1989.
11. S.C. Kleene, Introduction to Metamathematics, Vol. 1 of Bibliotheca Mathematica, North-Holland, 1952.
12. A. Hussain, M. Huth, On model checking multiple hybrid views, in: Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus, 2004.
13. Huth M., and Pradhan S. Model-checking view-based partial specifications. In: Brooks S., and Mislove M. (Eds). Electronic Notes in Theoretical Computer Science vol. 45 (2001), Elsevier, Amsterdam
14. Uchitel S., and Chechik M. Merging partial behavioural models. Proceedings of the 12th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (SIGSOFT'04/FSE-12) (2004), ACM Press, New York, NY, USA 43-52
15. Chechik M., Devereux B., Easterbrook S., and Gurfinkel A. Multi-valued symbolic model-checking. ACM Transactions on Software Engineering and Methodology 12 4 (2003) 371-408
16. Nejati S., and Chechik M. Let's agree to disagree. Proceedings of the 20th International Conference on Automated Software Engineering (ASE 2005) (2005), ACM Press, Long Beach, California, USA 287-290
17. Rashid A., Moreira A., and Araújo J. Modularisation and composition of aspectual requirements. Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD'03) (2003), ACM Press, Boston, USA 11-20
18. Nuseibeh B. To Be And Not To Be: On managing inconsistency in software development. Proceedings of 8th International Workshop on Software Specification and Design (IWSSD-8) (1996), IEEE Computer Society Press, Scloss Velen, Germany 164-169
19. Easterbrook S., and Nuseibeh B. Managing inconsistencies in an evolving specification. Proceedings of 2nd IEEE International Symposium on Requirements Engineering (RE'95) (1995), IEEE Computer Society Press, York, UK 48-55
20. Balzer R. Tolerating inconsistency. Proceedings of 13rd International Conference on Software Engineering (ICSE'13) (1991), IEEE Computer Society Press, Austin, Texas, USA 158-165
21. Finkelstein A., Gabbay D., Hunter A., Kramer J., and Nuseibeh B. Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering 20 8 (1994) 569-578
22. Hunter A., and Nuseibeh B. Managing inconsistent specifications: reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology 7 4 (1998) 335-367
23. Hoare C. Communicating Sequential Processes (1985), Prentice-Hall International, Englewood Cliffs, NJ
24. Belnap N.D. A useful four-valued logic. In: Dunn J.M., and Epstein G. (Eds). Modern Uses of Multiple-Valued Logic (1977), D. Reidel, Dordrecht 7-37
25. R. L. Kedian Mu, Zhi Jin, W. Liu, Measuring inconsistency in requirements specifications, in: Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05), Vol. 3571 of Lecture Notes in Artifical Intelligence, Springer, Barcelona, Spain, 2005, pp. 440-451.
26. Spanoudakis G., and Zisman A. Inconsistency management in software engineering: survey and open research issues. In: Chang S.K. (Ed). Handbook of Software Engineering and Knowledge Engineering (2001), World Scientific Publishing Co., Singapore 329-380
27. Barragáns-Martínez B., and Pazos-Arias J. X-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specifications. Proceedings of the 26th International Conference on Software Engineering (ICSE 2004). Doctoral Symposium (2004), Edinburg, Scotland, UK 72-74
28. Hunter A. Measuring inconsistency in knowledge via quasi-classical models. Proceedings of the 18th American National Conference on Artificial Intelligence (AAAI'2002) (2002), MIT Press, Cambridge, MA 68-73
29. Hunter A. Evaluating significance of inconsistencies. Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03) (2003), Morgan Kaufmann, Los Altos, CA 468-473
30. S. Konieczny, J. Lang, P. Marquis, Quantifying information and contradiction in propositional logic through test actions, in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03), 2003, pp. 106-111.
31. Hunter A., and Konieczny S. Approaches to measuring inconsistent information. Inconsistency Tolerance (2004), Springer, Berlin 191-236
32. M. Sabetzadeh, S.M. Easterbrook, Analysis of inconsistency in graph-based viewpoints: a category-theoretic approach, in: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, October 2003, pp. 12-21.
33. Tsai J.J.P., Weigert T., and Jang H.-C. A hybrid knowledge representation as a basis of requirement specification and specification analysis. IEEE Transactions on Software Engineering 18 12 (1992) 1076-1100
34. Gabbay D., and Hunter A. Making inconsistency respectable - Part 1: a logical framework for inconsistency in reasoning. In: Jorrand P., and Kelemen J. (Eds). Foundations of Artificial Intelligence Research (1991), Springer, Berlin 19-32
35. Gervasi V., and Zowghi D. Reasoning about inconsistencies in natural language requirements. ACM Transactions on Software Engineering and Methodology 14 3 (2005) 277-330
36. Robinson W., and Fickas S. Supporting multi-perspective requirements engineering. Proceedings of the First IEEE International Conference on Requirements Engineering (1994), IEEE Computer Society Press, Silver Spring, MD 206-215
37. Spanoudakis G., and Kim H. Supporting the reconciliation of models of object behaviour, international journal of software and systems modelling. Special Issue on Object Oriented Information Systems 3 4 (2004) 273-293
38. Heitmeyer C.L., Jeffords R.D., and Labaw B.G. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology 5 3 (1996) 231-261
39. A. van Lamsweerde, R. Darimont, E. Letier, Managing conflicts in goal-driven requirements engineering, IEEE Transactions on Software Engineering 24 (11) (1998) 908-926. Special Issue on Inconsistency Management in Software Development.
40. Kozlenkov A., and Zisman A. Discovering, recording, and handling inconsistencies in software specifications. International Journal of Computer and Information Science 5 2 (2004) 89-108
41. van Lamsweerde A., and Willemet L. Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering 24 12 (1998) 1089-1114
42. C. Nentwich, L. Capra, W. Emmerich, A. Finkelstein, Static consistency checking for distributed specifications, in: Proceedings of the 16th International Conference on Automated Software Engineering (ASE 2001), Coronado Island, CA, 2001, pp. 115-124.
43. Hunter A. How to act on inconsistent news: ignore, resolve, or reject. Data and Knowledge Engineering 57 3 (2006) 221-239
44. Zowghi D., and Gervasi V. On the interplay between consistency, completeness, and correctness in requirements evolution. Information and Software Technology 45 14 (2003) 993-1009
45. Hunter A., and Summerton R. A knowledge-based approach to merging information. Knowledge-Based Systems 19 (2006) 647-674
46. C. Niskier, T.S.E. Maibaum, D. Schwabe, A look through prisma: towards pluralistic knowledge-based environments for software specification acquisition, in: C. Potts (Ed.), Proceedings of the 5th IEEE International Workshop on Software Specification and Design, Pittsburgh, Pennsylvania, USA, 1989, pp. 128-136.
47. Zave P., and Jackson M. Conjunction as composition. ACM Transactions on Software Engineering and Methodology 2 4 (1993) 379-411
48. Nuseibeh B., Kramer J., and Finkelstein A. A framework for expressing the relationships between multiple views in requirements specification. IEEE Transactions on Software Engineering 20 10 (1994) 760-773
49. W. Robinson, Integrating multiple specifications using domain goals, in: Proceedings of the 5th International Workshop on Software Specification and Design (IWSSD-5), IEEE Computer Society Press, 1989, pp. 219-225.
50. Systä T. Incremental construction of dynamic models for object oriented software systems. Journal of Object Oriented Programming 13 5 (2000) 18-27
51. Uchitel S., and Kramer J. A workbench for synthesising behaviour models from scenarios. Proceedings of the 23rd IEEE International Conference on Software Engineering (ICSE'01) (2001), IEEE Computer Society Press, Toronto, Canada 188-197
52. T. Elrad, R.E. Filman, A. Bader, Aspect-oriented programming: introduction, in: Communications of the ACM, Special Issue on Aspect-Oriented Programming, vol. 44 (10), 2001, pp. 29-32.
53. Grundy J.C. Aspect-oriented requirements engineering for component-based software systems. Proceedings of the 4th IEEE International Symposium on Requirements Engineering (1999), IEEE Computer Society Press, Limerick, Ireland 84-91
54. Laney R., Barroca L., Jackson M., and Nuseibeh B. Composing requirements using problem frames. Proceedings of the 12th IEEE International Requirements Engineering Conference (RE'04) (2004), IEEE Computer Society Press, Kyoto, Japan 122-131
55. Easterbrook S., and Nuseibeh B. Using viewpoints for inconsistency management. BCS/IEE Software Engineering Journal 11 1 (1996) 31-43
56. Whittle J., and Araújo J. Scenario modeling with aspects. IEE Proceedings - Software. Special Issue on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design 151 4 (2004) 157-172
57. Araújo J., Whittle J., and Kim D. Modeling and composing scenario-based requirements with aspects. Proceedings of the 12th IEEE International Requirements Engineering Conference (RE'04) (2004), IEEE Computer Society Press, Kyoto, Japan 58-67
58. Qi G., Liu W., and Glass D. A split-combination method for merging inconsistent possibilistic knowledge bases. In: Dubois D., Welty C.A., and Williams M.-A. (Eds). Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04) (2004), AAAI Press, Whistler, Canada 348-356
59. G. Qi, W. Liu, D. Glass, Combining individually inconsistent prioritized knowledge bases, in: J.P. Delgrande, T. Schaub, (Eds.), Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR'04), AAAI Press, Whistler, Canada, 2004, pp. 342-349.
60. J.L. Chacón, R. Pino-Pérez. Logic-based merging: the infinite case, in: J.P. Delgrande, T. Schaub, (Eds.), Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR'04), AAAI Press, Whistler, Canada, pp. 100-108.
61. Konieczny S., and Pino Pérez R. Merging information under constraints: a logical framework. Journal of Logic and Computation 12 5 (2002) 773-808
62. G. Qi, W. Liu, D. Bell, Measuring conflict and agreement between two prioritized belief bases, in: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), 2005, pp. 552-557.
63. J. García-Duque, J.J. Pazos-Arias, B. Barragáns-Martínez, An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology, in: Proceedings of the 10th IEEE International Conference on Requirements Engineering (RE), Essen, Germany, 2002, pp. 282-288.