Abstract
In this paper the algebraic/axiomatic approach to software specification is proposed as an integrating formal model for requirement descriptions. It is argued that formal specificaton techniques are complementary to informal ones and that they can safely be integrated in an iterative requirements development process. Three results from the German National Project Korso are presented: entity-relationship diagrams, data flow diagrams and access rights are modelled by algebraic specifications in the language SPECTRUM. These schematic techniques are illustrated by a small part of a Korso case study on the requirements specification for a patient information system of a hospital.
This research has been partially sponsored by the German National Project Korso.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi, M. Burrows, B. Lampson, G. Plotkin: A calculus for access control in distributed systems. Techn. Report No. 70, DEC Systems Research Center, 1991.
B.W. Boehm: Guidelines for verifying and validating software requirements and design specifications. In: EURO IFIP 79, Amsterdam: North-Holland 1979, 711–719.
M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, K. Stolen: The Requirements and Design Specification Language SPECTRUM-An Informal Introduction, Version 1.0, Tech. Rep., TU München, 1993.
The CIP Language Group: The Munich Project CIP. Vol 1: The Wide Spectrum Language CIP-L. LNCS 183, Springer 1985.
P. Coad, E. Yourdon: OOA — Object-Oriented Analysis. Englewood Cliffs, N.J.: Prentice Hall 1989.
N.W.P. van Diepen, H.A. Partsch: Formalizing informal requirements: Some aspects. University of Nijmegen, Techn. Report 90-1, 1990.
E. Downs, P. Clare, I. Coe: Structured Systems Analysis and Design Method — Application and Context. Englewood Cliffs, N.J.: Prentice Hall 1992.
E. Dubois, J. Hagelstein. E. Lahou, F. Ponsaert, A. Rifaut, E. Stephens, F. Williams: Model components for requirements engineering. Final Report of the ESPRIT1 “Meteor” Project, Task 1, 1986.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.G. Gritzner, R. Weber: The design of distributed systems — An introduction to FOCUS. TU München, Tech. Rep. TUM I9202, SFB-Bericht Nr. 342.
J. Hagelstein: Declarative approach to information systems requirements. Knowledge Based Systems 1, 1988, 211–220.
R. Hettler: Übersetzung von E/R-Modellen nach SPECTRUM. Internal Report, Korso Project, Institut für Informatik,Technische Universität München, 1993.
H. Hußmann, R. Hettler, S. Merz, F. Nicki, O. Slotosch: Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem. Internal Report Korso Project, TU München & LMU München, 1993.
M. Jarke et al.: Requirements Engineering: An integrated view of representation, process and domain. To appear in Proc. ESEC 1993.
M. Johnson, C.N.G. Dampney: Category theory and information system engineering. In: P. Scollo (ed.): Proc. AMAST 93, Preprint, 1993, 95–103.
B. Lampson, M. Abadi, M. Burrows, E. Wobber: Authentication in distributed systems: theory and practice. Tech. Report 83, DEC Systems Res. Center, 1992.
S. McMenamin, Y. Palmer: Essential System Analysis. Englewood Cliffs, N.J.: Prentice Hall, 1984.
F. Nickl: Ablaufspezifikation durch Datenflußmodellierung und stromverarbeitende Funktionen. Internal Report, Korso Project, Institut für Informatik, LMU München.
P. Pepper et al.: Korso: A methodology for the development of correct software. Internal Report, Korso Project, to appear.
K. Renzel: Einige Überlegungen zur formalen Beschreibung von Zugriffsrechten und deren Verwaltung. Internal Report, Korso Project, LMU München, 1993.
M. Wirsing, H. Brix, M. Broy, X. Conrad. S. Gastinger, M. Gogolla, F. von Henke, H. Hußmann, M. Jatzeck, B. Krieg-Brückner, J. Lin, P. Pepper, H. Peterreins, A. Poigné, W. Reif, B. Reus, G. Schellhorn, B. Wolff: A framework for software development in Korso. Tech. Report, Korso Project, Universität München, 1992.
E. Yourdon: Modem Structured Anlaysis. Englewood Cliffs, N.J.: Yourdon Press, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nickl, F., Wirsing, M. (1993). A formal approach to requirements engineering. In: Bjørner, D., Broy, M., Pottosin, I.V. (eds) Formal Methods in Programming and Their Applications. Lecture Notes in Computer Science, vol 735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039717
Download citation
DOI: https://doi.org/10.1007/BFb0039717
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57316-6
Online ISBN: 978-3-540-48056-3
eBook Packages: Springer Book Archive