Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Jan. 5, 1997 to Jan. 8, 1997
Didar Zowghi , Joint Res. Centre for Adv. Syst. Eng., Macquarie Univ., North Ryde, NSW, Australia
Ray Offen , Joint Res. Centre for Adv. Syst. Eng., Macquarie Univ., North Ryde, NSW, Australia
We present a logical framework for modeling and reasoning about the evolution of requirements. We demonstrate how a sufficiently rich meta level logic can formally capture intuitive aspects of managing changes to requirements models, while maintaining completeness and consistency. We consider a theory as the deductive closure of a given set of axioms and conclude that software engineering is concerned, in essence, with, building and managing large theories. This theory construction commences with the development of the requirements model which we view as a theory of some nonmonotonic logic. Requirements evolution then involves the mapping of one such theory to another. Exploiting the deductive power of the theory of belief revision and nonmonotonic reasoning we develop a formal description of this mapping, as well as the requirements engineering process itself. This work thus offers a rigorous approach to reasoning about requirements evolution and a important focus for defining semantically well founded methods and tools for the effective management of changing requirements.
formal specification, logical framework, requirements evolution, meta level logic, intuitive aspects, deductive closure, software engineering, large theories, theory construction, requirements model, nonmonotonic logic, belief revision, nonmonotonic reasoning, formal description, requirements engineering process, semantically well founded methods, changing requirements management
R. Offen and D. Zowghi, "A Logical Framework for Modeling and Reasoning About the Evolution of Requirements," Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE), Annapolis, MD, 1997, pp. 247.