Abstract
Building ground models is one of the three constituents of the engineering method for computer-based systems which is known as Abstract State Machine (ASM) method [16]. In this note we characterize ground models, whose epistemological role for a foundation of system design resembles the one Aristotle assigned to axioms to ground science in reality, avoiding infinite regress. We explain how ASM ground models help to resolve two major problems of requirements engineering, providing means a) to obtain for complex computer-based systems an adequate understanding by humans, and b) to cope with ever-changing requirements by faithfully capturing and tracing them via well-documented modeling-for-change. We point out that via an appropriate refinement method one can relate ground models to executable code.1
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Methodologies and technologies for industrial strength systems engineering. http://www.matisse.qinetiq.com/, 1999. Project number IST-1999-11435.
J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
D. Barnocchi. L’‘Evidenza’ nell’assiomatica aristotelica (contributo all’inter-pretazione dell’assiomatica aristotelica alla luce della moderna logica matematica). Proteus, 5:133–144, 1971.
D. M. Berry. The importance of ignorance in requirements engineering. J. of Systems and Software, 28(2):179–184, 1995.
D. M. Berry. Formal methods: the very idea. some thoughts on why they work when they work. Science of Computer Programming, 42(1):11–27, 2002.
D. M. Berry. The inevitable pain of software development: Why there is no silver bullet. In Proceedings of M onterey Workshop 2002: Radical Innovations of Software and Systems Engineering in the Future, October 2002.
E. Bürger. A logical operational semantics for full Prolog. Part I: Selection core and control. In E. Bürger, H. Kleine Büning, M. M. Richter, and W. Schünfeld, editors, CSL’89. 3rd Workshop on Computer Science Logic, volume 440 of LNCS, pages 36-64. Springer-Verlag, 1990.
E. Bürger. A logical operational semantics of full Prolog. Part II: Built-in predicates for database manipulation. In B. Rovan, editor, Mathematical Foundations of Computer Science, volume 452 of LNCS, pages 1-14. Springer-Verlag, 1990.
E. Bürger. Logic programming: The evolving algebra approach. In B. Pehrson and I. Simon, editors, IFIP 13th World Computer Congress, volume I: Technology/Foundations, pages 391-395, Elsevier, Amsterdam, the Netherlands, 1994.
E. Bürger. Why use evolving algebras for hardware and software engineering? In M. Bartosek, J. Staudek, and J. Wiederman, editors, Proceedings of SOFSEM’95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, volume 1012 of LNCS, pages 236-271. Springer-Verlag, 1995.
E. Bürger. High level system design and analysis using abstract state machines. In D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, editors, Current Trends in Applied Formal Methods (FM-Trends 98), number 1641 in LNCS, pages 1-43. Springer-Verlag, 1999.
E. Bürger. The ASM refinement method. Formal Aspects of Computing, 14, 2003, to appear.
E. Bürger and K. Dässler. Prolog: DIN papers for discussion. ISO/IEC JTCI SC22 WG17 Prolog Standardization Document 58, National Physical Laboratory, Middlesex, England, 1990.
E. Bürger, B. Hürger, D. L. Parnas, and D. Rombach. Requirements Capture, Documentation, and Validation, volume 241. Dagstuhl Seminar No. 99241, June 1999.
E. Bürger and J. Schmid. Composition and submachine concepts for sequential ASMs. In P. Clote and H. Schwichtenberg, editors, Computer Science Logic (Proceedings of CSL 2000), volume 1862 of LNCS, pages 41-60. Springer-Verlag, 2000.
E. Bürger and R. Stärk. Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, 2003.
F. P. J. Brooks. No silver bullet. Computer, 20(4):10–19, 1987.
R. Carnap. The methodological character of theoretical concepts. In H. Feigl and M. Scriven, editors, Minnesota Studies in the Philosophy of Science, volume 2, pages 33-76. University of Minnesota Press, 1956.
E. Dijkstra. Notes on structured programming. In Structured Programming, pages 1-82. Academic Press, 1972.
Y. Gurevich. Evolving algebras. A tutorial introduction. Bulletin of EATCS, 43:264–284, 1991.
Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Bürger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
A. M. Haeberer and T. S. E. Maibaum. Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering. Number 23 in International Conference on Software Engineering, Toronto, 2001.
A. M. Haeberer, T. S. E. Maibaum, and M. V. Cengarle. Knowing what requirements specifications specify. Typoscript, 2001.
A. Hall. Seven myths of formal methods. IEEE Software, pages 11-19, September 1990.
D. Harel and R. Marelly. Capturing and executing behavioral requirements: the play-in/play-out approach. Technical Report MCS01-15, Weizmann Institute of Science, Israel, 2001.
C. Heitmeyer. Using SCR methods to capture, document, and verify computer system requirements. In E. Bürger, B. Hürger, D. L. Parnas, and D. Rombach, editors, Requirements Capture, Documentation, and Validation. Dagstuhl Seminar No. 99241, Schloss Dagstuhl, Int. Conf. and Research Center for Computer Science, 1999.
N. G. Leveson. Completeness in formal specification language design for process-control systems. In Formal Methods in Software Practice, pages 75-87. ACM Press, 2000.
K. Popper. Logik der Forschung. Zur Erkenntnishtoeire der modernen Naturwissenschaft. Wien, 1935.
H. Rust. A non-standard approach to operational semantics for timed systems. Habilitation thesis, BTU Cottbus, Germany, 2003.
R. Stärk, J. Schmid, and E. Bürger. Java and the Java Virtual Machine: Definition, Verification, Validation. Springer-Verlag, 2001.
J. M. Wing. A specifier’s introduction to formal methods. Computer, pages 8-24, Sept. 1990.
N. Wirth. Program development by stepwise refinement. Comm. ACM, 1971.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Börger, E. (2003). The ASM Ground Model Method as a Foundation of Requirements Engineering. In: Dershowitz, N. (eds) Verification: Theory and Practice. Lecture Notes in Computer Science, vol 2772. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39910-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-39910-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21002-3
Online ISBN: 978-3-540-39910-0
eBook Packages: Springer Book Archive