Abstract
The problem of analysing the effects of changing requirements imposes strict demands on system representations, particularly in safety-critical domains. We argue that solving this problem will require structured representations that highlight the interaction between requirements, and record the rationale for decisions made during the development process.
As a means of providing and analysing this information, we propose the use of a goal-oriented model for structuring requirements and the use of formal reasoning techniques to aid in the analysis of changes and their consequences.
Supported by the DTI/SERC “PROTEUS” PROJECT IED4/1/9304 under the Safety-Critical Systems Initiative.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Barber, G. Supporting organizational problem solving with a workstation. ACM Trans. on Office Information Systems 1, 1 (1983), 45–67.
Bondarenko, A. G. Abductive systems for non-monotonic reasoning. In Logic Programming: First and Second Russian Conferences on Logic Programming, LNAI 592 (Berlin, 1992), A. Voronkov, Ed., Springer-Verlag, pp. 55–66.
Dardenne, A., van Lamsweerde, A., and Fickas, S. Goal directed requirements acquisition. Science of Computer Programming 20 (1993), 3–50.
Dubois, E. A logic of action for supporting goal-oriented elaborations of requirements. 5th International Workshop on Software Specification and Design, ACM Sigsoft Engineering Notes 14 (1989), 160–168.
Gabbay, D. Abduction in labelled deductive systems — a conceptual abstract. In Symbolic and Quantitative Approaches to Uncertainty: Proc. European Conference ECSQAU. LNCS 548, R. Kruse and P. Siegel, Eds. Springer-Verlag, 1991, pp. 3–11.
Ladkin, P. Analysis of a technical description of the Airbus A320 braking system. CRIN-CNRS & INRIA Lorraine, BP 239, Vandoeuvre-Lès-Nancy, France.
Luger, G. F., and Stubblefield, W. A. Artificial Intellegence: Structures and Strategies for Complex Problem Solving. Benjamin Cummings, 1993.
Macias, B., and Pulman, S. Natural language processing for requirements specifications. In Safety-critical Systems, F. Redmill and T. Anderson, Eds. Chapman and Hall, 1993, pp. 67–89.
Maibaum, T. A logic for the formal requirements specification of real-time embedded systems. Tech. rep., Dept. of Computing, Imperial College, London, 1987. Forest Deliverable R3.
Mylopoulos, J., Chung, L., and Nixon, B. Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans. on Software Engineering 18, 6 (1992), 483–497.
Ryan, M.Ordered Presentations of Theories — Default Reasoning and Belief Revision. PhD thesis, Dept. of Computing, Imperial College, London, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Duffy, D., MacNish, C., McDermid, J., Morris, P. (1995). A framework for requirements analysis using automated reasoning. In: Iivari, J., Lyytinen, K., Rossi, M. (eds) Advanced Information Systems Engineering. CAiSE 1995. Lecture Notes in Computer Science, vol 932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59498-1_238
Download citation
DOI: https://doi.org/10.1007/3-540-59498-1_238
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59498-7
Online ISBN: 978-3-540-49290-0
eBook Packages: Springer Book Archive