Reasoning About Requirements Evolution Using Clustered Belief Revision

During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple conflicting viewpoints are embodied in the specification, or when the specification itself is at a transient stage of evolution. We argue that a formal framework for the analysis of evolving specifications should be able to tolerate inconsistency by allowing reasoning in the presence of inconsistency without trivialisation, and circumvent inconsistency by enabling impact analyses of potential changes to be carried out. This paper shows how clustered belief revision can help in this process.

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

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

[3]  Odinaldo Teixeira Rodrigues.  A methodology for iterated information change , 1998 .

[4]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[5]  John A. McDermid,et al.  A Framework for Requirements Analysis Using Automated Reasoning , 1995, CAiSE.

[6]  Dov M. Gabbay,et al.  Inconsistency Handling in Multi-Perspective Specifications , 1993, ESEC.

[7]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

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

[9]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

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

[11]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[12]  Mark Ryan,et al.  Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[13]  Bashar Nuseibeh,et al.  Combining abductive reasoning and inductive learning to evolve requirements specifications , 2003, IEE Proc. Softw..

[14]  Martin Becker,et al.  The Light Control Case Study: Problem Description , 2000, J. Univers. Comput. Sci..

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

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

[17]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[18]  Ray Offen,et al.  A logical framework for modeling and reasoning about the evolution of requirements , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[19]  Salem Benferhat,et al.  Handling Locally Stratified Inconsistent Knowledge Bases , 2002, Stud Logica.

[20]  Constance L. Heitmeyer,et al.  Applying the SCR Requirements Method to the Light Control Case Study , 2000, J. Univers. Comput. Sci..

[21]  Odinaldo Rodrigues.  Structured Clusters: A Framework to Reason with Contradictory Interests , 2003, J. Log. Comput..

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