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

A major challenge for dealing with multi-perspective specifications, and more concretely, with merging of several descriptions or views is toleration of incompleteness and inconsistency: views may be inconclusive, and may have conflicts over the concepts being modeled. The desire of being able to tolerate both phenomena introduces the need to evaluate and quantify the significance of a detected inconsistency as well as to measure the degree of conflict and uncertainty of the merged view as the specification process evolves. We show in this paper to what extent disagreement and incompleteness are closely interrelated and play a central role to obtain a measure of the level of inconsistency and to define a merging operator whose aim is getting the model which best reflects the combined knowledge of all stakeholders. We will also propose two kinds of interesting and useful orderings among perspectives which are based on differences of behavior and inconsistency, respectively.

[1]  Mehrdad Sabetzadeh,et al.  Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[2]  João Araújo,et al.  Modularisation and composition of aspectual requirements , 2003, AOSD '03.

[3]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[4]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[5]  Guilin Qi,et al.  A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases , 2004, KR.

[6]  José J. Pazos Arias,et al.  /spl chi/-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specifications , 2004, ICSE 2004.

[7]  Anthony Hunter,et al.  Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.

[8]  Jorge García Duque,et al.  An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[9]  John C. Grundy,et al.  Aspect-oriented requirements engineering for component-based software systems , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[10]  Altaf Hussain,et al.  On model checking multiple hybrid views , 2008, Theor. Comput. Sci..

[11]  Weiru Liu,et al.  Measuring Inconsistency in Requirements Specifications , 2005, ECSQARU.

[12]  Dov M. Gabbay,et al.  Making inconsistency respectable: a logical framework for inconsistency in reasoning , 1991, FAIR.

[13]  Jorge García Duque,et al.  SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study , 2001, Formal Aspects of Computing.

[14]  D. Schwabe,et al.  A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition , 1989, IWSSD '89.

[15]  José Juan Pazos-Arias,et al.  chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications , 2004, International Conference on Software Engineering.

[16]  Anthony Hunter How to act on inconsistent news: Ignore, resolve, or reject , 2006, Data Knowl. Eng..

[17]  Hung-Chin Jang,et al.  A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis , 1992, IEEE Trans. Software Eng..

[18]  Jérôme Lang,et al.  Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.

[19]  Jon Whittle,et al.  Scenario Modeling with Aspects. , 2004 .

[20]  Tzilla Elrad,et al.  Aspect-oriented programming: Introduction , 2001, CACM.

[21]  Steve M. Easterbrook,et al.  Using ViewPoints for inconsistency management , 1996, Softw. Eng. J..

[22]  Didar Zowghi,et al.  Reasoning about inconsistencies in natural language requirements , 2005, TSEM.

[23]  W. N. Robinson,et al.  Integrating multiple specifications using domain goals , 1989, IWSSD '89.

[24]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[25]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[26]  Andrea Zisman,et al.  Inconsistency Management in Software Engineering: Survey and Open Research Issues , 2000 .

[27]  Eric S. K. Yu,et al.  Do viewpoints lead to better conceptual models? An exploratory case study , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[28]  Marsha Chechik,et al.  Multi-valued symbolic model-checking , 2003, TSEM.

[29]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[30]  J. M. Dunn,et al.  Modern Uses of Multiple-Valued Logic , 1977 .

[31]  Marsha Chechik,et al.  Let's agree to disagree , 2005, ASE '05.

[32]  Anthony Hunter,et al.  A knowledge-based approach to merging information , 2006, Knowl. Based Syst..

[33]  Axel van Lamsweerde,et al.  Inferring Declarative Requirements Specifications from Operational Scenarios , 1998, IEEE Trans. Software Eng..

[34]  Didar Zowghi,et al.  On the interplay between consistency, completeness, and correctness in requirements evolution , 2003, Inf. Softw. Technol..

[35]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[36]  João Araújo,et al.  Modeling and composing scenario-based requirements with aspects , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[37]  Anthony Hunter,et al.  Evaluating Significance of Inconsistencies , 2003, IJCAI.

[38]  Torsten Schaub,et al.  Inconsistency Tolerance , 2005, Lecture Notes in Computer Science.

[39]  Sebastián Uchitel,et al.  A workbench for synthesising behaviour models from scenarios , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[40]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[41]  Julio Cesar Sampaio do Prado Leite Viewpoints on viewpoints , 1996, ISAW '96.

[42]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[43]  Guilin Qi,et al.  Combining individually inconsistent prioritized knowledge bases , 2004, NMR.

[44]  Bashar Nuseibeh,et al.  Composing requirements using problem frames , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[45]  Ramón Pino Pérez,et al.  Logic-based merging: the infinite case , 2004, NMR.

[46]  Anthony Hunter,et al.  Information Fusion in Logic: A Brief Overview , 1997, ECSQARU-FAPR.

[47]  Bashar Nuseibeh,et al.  Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.

[48]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[49]  José Juan Pazos-Arias,et al.  Merging requirements views with incompleteness and inconsistency , 2005, 2005 Australian Software Engineering Conference.

[50]  Bashar Nuseibeh,et al.  ViewPoints: meaningful relationships are difficult! , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[51]  Michael Huth,et al.  Model-Checking View-Based Partial Specifications , 2001, MFPS.

[52]  Michael Rovatsos,et al.  Handbook of Software Engineering and Knowledge Engineering , 2005 .

[53]  Ian Sommerville,et al.  Viewpoints: principles, problems and a practical approach to requirements engineering , 1997, Ann. Softw. Eng..

[54]  Bashar Nuseibeh,et al.  To be and not to be: on managing inconsistency in software development , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[55]  Anthony Hunter,et al.  Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.

[56]  Michael Jackson,et al.  Conjunction as composition , 1993, TSEM.

[57]  Wolfgang Emmerich,et al.  Static consistency checking for distributed specifications , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[58]  William N. Robinson,et al.  Supporting multi-perspective requirements engineering , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[59]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[60]  Bashar Nuseibeh,et al.  Managing inconsistencies in an evolving specification , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[61]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..

[62]  Guilin Qi,et al.  Measuring conflict and agreement between two prioritized belief bases , 2005, IJCAI.

[63]  Marsha Chechik,et al.  Merging partial behavioural models , 2004, SIGSOFT '04/FSE-12.

[64]  Jorge García Duque,et al.  Composing Multi-Perspective Software Requirements Specifications , 2008, Int. J. Softw. Eng. Knowl. Eng..