Requirements specification evolution in a multi-perspective environment

We adapt an analysis-revision cycle to SCTL-MUS methodology to support the modification and evolution of requirements specifications in a multiperspective environment. To illustrate the advantages of using our approach in the analysis and revision phases, we employ two viewpoints of a thermostat system. Both viewpoints are merged in order to reason over the properties of the composed system. The refinements over the merged model are transferred into each of the viewpoints and then into the requirements in which both are expressed. In this way, we obtain requirements refinements close to the system domain of each viewpoint, facilitating to the stakeholders the decision of what system requirements refinements must be included in the system requirements specification.

[1]  Luqi,et al.  Formal Methods: Promises And Problems , 1997, IEEE Softw..

[2]  Marsha Chechik,et al.  A framework for multi-valued reasoning over inconsistent viewpoints , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

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

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

[5]  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.

[6]  John A. McDermid,et al.  A model for a causal logic for requirements engineering , 1996, Requirements Engineering.

[7]  L. Bolc,et al.  Many-Valued Logics , 1992 .

[8]  Jorge García Duque.  Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal , 2000 .

[9]  Marsha Chechik,et al.  Model-Checking over Multi-valued Logics , 2001, FME.

[10]  Marsha Chechik,et al.  Model checking with multi-valued temporal logics , 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.

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

[12]  Bashar Nuseibeh,et al.  An analysis-revision cycle to evolve requirements specifications , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[13]  R. Alur.  Techniques for automatic verification of real-time systems , 1991 .

[14]  S. Easterbrook,et al.  Reasoning About Compositions of Concerns , 2001 .