A framework for reasoning about requirements evolution

  • Didar Zowghi
  • Aditya K. Ghose
  • Pavlos Peppas
Reasoning about Chang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1114)


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.


AI applications in software engineering default reasoning belief revision 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.Google Scholar
  2. 2.
    J. Allen. Towards a general model of action and time. Artificial Intelligence, 23(2), 1984.Google Scholar
  3. 3.
    G. Brewka. Belief revision in a framework for default reasoning. In Proc. of the Konstanz Workshop on Belief Revision, 1989.Google Scholar
  4. 4.
    P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988.Google Scholar
  5. 5.
    P. Gärdenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proc. of TARK'88, 1988.Google Scholar
  6. 6.
    A. Ghose. Practical belief change. PhD thesis, Dept of Computing Science, University of Alberta, 1995.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    A. Ghose, P. Hadjinian, A. Sattar, J.-H. You, and R. Goebel. Iterated belief change: A preliminary report. In Proc. of AI'93, 1993.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    Isaac Levi. Subjunctives, dispositions and chances. Synthese, 34:423–455, 1977.Google Scholar
  11. 11.
    J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: Representing knowledge about information systems. ACM Transactions on Information Systems, 8(4), 1990.Google Scholar
  12. 12.
    B. Nebel. Belief revision and default reasoning: Syntax-based approaches. In Proc. of KR'91, 1991.Google Scholar
  13. 13.
    D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27–47, 1988.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 1980.Google Scholar
  16. 16.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Didar Zowghi
    • 1
  • Aditya K. Ghose
    • 2
  • Pavlos Peppas
    • 3
  1. 1.CSIRO-Macquarie University Joint Research Centre for Advanced Systems EngineeringMacquarie UniversityAustralia
  2. 2.Knowledge Systems Group, Basser Dept. of Computer ScienceUniversity of SydneyAustralia
  3. 3.Knowledge Systems Group, Dept. of Computing, School of Mathematics, Physics, Computing and ElectronicsMacquarie UniversityAustralia

Personalised recommendations