Abstract
We present a logical framework for modelling and reasoning about requirements evolution in the construction of information systems. Our framework represents a requirements model as a theory of some nonmonotonic logic, while requirements evolution is modelled as a mapping between such theories, based on the AGM logic of belief change [1]. We demonstrate our ideas by using the THEORIST system for nonmonotonic reasoning. Moreover we examine the Telos system for requirements modelling in terms of our framework, and we identify some obvious shortcomings and propose possible solutions. We argue that our framework provides a powerful tool both for analysing and comparing existing systems and for developing automated systems to support requirements evolution.
Preview
Unable to display preview. Download preview PDF.
References
C. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. J. of Symbolic Logic, 50:510–530, 1985.
J. Allen. Towards a general model of action and time. Artificial Intelligence, 23(2), 1984.
G. Brewka. Belief revision in a framework for default reasoning. In Proc. of the Konstanz Workshop on Belief Revision, 1989.
P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988.
P. Gärdenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proc. of TARK'88, 1988.
A. Ghose. Practical belief change. PhD thesis, Dept of Computing Science, University of Alberta, 1995.
A. Ghose, P. Hadjinian, A. Sattar, J.-H. You, and R. Goebel. Iterated belief change. Technical Report TR93-05, University of Alberta, Dept. of Computing Science, 1993.
A. Ghose, P. Hadjinian, A. Sattar, J.-H. You, and R. Goebel. Iterated belief change: A preliminary report. In Proc. of AI'93, 1993.
A. Ghose, A. Sattar, and R. Goebel. Pragmatic belief change: Computational efficiency and approximability. In Proc. of the Workshop on Belief Revision, 1993. Held in conjunction with AI'93.
Isaac Levi. Subjunctives, dispositions and chances. Synthese, 34:423–455, 1977.
J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: Representing knowledge about information systems. ACM Transactions on Information Systems, 8(4), 1990.
B. Nebel. Belief revision and default reasoning: Syntax-based approaches. In Proc. of KR'91, 1991.
D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27–47, 1988.
D. Poole, R. Goebel, and R. Aleliunas. Theorist: a logical reasoning system for defaults and diagnosis. In The Knowledge Frontier: Essays in the Representation of Knowledge, Springer Verlag, 1987.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 1980.
C. Rich and Y. Feldman. Seven layers of knowledge representation and reasoning in support of software development. In IEEE Trans. on Software Engg., 18, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zowghi, D., Ghose, A.K., Peppas, P. (1996). A framework for reasoning about requirements evolution. In: Foo, N., Goebel, R. (eds) PRICAI'96: Topics in Artificial Intelligence. PRICAI 1996. Lecture Notes in Computer Science, vol 1114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61532-6_14
Download citation
DOI: https://doi.org/10.1007/3-540-61532-6_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61532-3
Online ISBN: 978-3-540-68729-0
eBook Packages: Springer Book Archive