A logical framework for modeling and reasoning about the evolution of requirements

Didar Zowghi*, Ray Offen

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

65 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the IEEE International Conference on Requirements Engineering
Place of PublicationPiscataway, N.J.
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages247-257
Number of pages11
ISBN (Electronic)0818677422
ISBN (Print)0818677406
DOIs
Publication statusPublished - Jan 1997
Externally publishedYes
EventProceedings of the 1997 3rd International Symposium on Requirements Engineering - Annapolis, MD, USA
Duration: 6 Jan 199710 Jan 1997

Other

OtherProceedings of the 1997 3rd International Symposium on Requirements Engineering
CityAnnapolis, MD, USA
Period6/01/9710/01/97

Fingerprint Dive into the research topics of 'A logical framework for modeling and reasoning about the evolution of requirements'. Together they form a unique fingerprint.

Cite this