A framework for reasoning about requirements evolution (1996) [9 citations — 2 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Zowghi96aframework,author = {D. Zowghi and A. K. Ghose},
title = {A framework for reasoning about requirements evolution},
booktitle = {In Proceedings of PRICAI ’96, number 1114 in LNAI},
year = {1996},
pages = {157--168},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
We present a logical framework for modeling and reasoning about requirements evolution in the construction of information systems. We illustrate how a sufficiently rich meta-level logic can formally and accurately capture intuitive ways of handling incompleteness and inconsistency in requirements and how operators that map between theories of this meta-level logic can provide a formal basis for requirements evolution. Specifically, our framework views a requirements model as a theory of some nonmonotonic logic, while requirements evolution involves mapping one such theory to another. We argue that the AGM theory of belief change [1] should provide the formal basis for the theory change component. We demonstrate our ideas by using the THEORIST system for nonmonotonic reasoning. As a demonstration of the utility of our framework, we analyze operators in the Telos system for requirements modeling to identify some obvious shortcomings. We then show how such problems can be addressed by defining operations founded on the AGM belief change theory that map one nonmonotonic theory to another. We argue that our framework provides a powerful tool both for analyzing and comparing existing systems and for developing automated systems to support requirements evolution.
