Abstract
While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application, but they should be put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information content and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, “safe” development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations.
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
Broy, M., Dendorfer, C., Dederichs, F., Fuchs, M., Gritzner, T., Weber, R.: The Design of Distributed Systems — An Introduction to FOCUS. TUM-I9225, Technische Universität München, 1992.
Bowen, J., Stavridou, V.: The industrial take-up of formal methods in safety-critical and other areas: A perspective. In: F. C. P. Woodcock, P. G. Larsen (eds), FME' 93, Lecture Notes in Computer Science Vol. 670, Springer 1993, pp. 183–195.
Brauer, W.: Automatentheorie. Teubner, 1984.
Facchi, C.: Methodik zur formalen Spezifikation des IOS/OSI Schichtenmodells. PhD-Thesis. Technische Universität München, 1995.
Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 (1987) 231–274.
Hoare, C.A.R.: Mathematical models for Computer Science. Working Material for Marktoberdorf Summer School 1994. Institut für Informatik, Technische Universität München, 1994.
Hussmann, H.: Formal Foundations for SSADM. Habilitation Thesis, Technische Universität München, 1994.
Hussmann, H.: Indirect Use of Formal Methods in Software Engineering. In: M. Wirsing (Ed): ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Seattle (WA), USA. Proceedings, April 1995, pp. 126–133.
International Telecommunication Union: Message Sequence Charts. ITU-T Recommendation Z.120. Geneva, 1994.
Lloyd, J.W.: Foundations of Logic Prograamming. Springer, 1984.
Milner, R. CCS — A Calculus for Communicating Systems. Springer Lecture Notes in Computer Science 83, 1983.
Semmens, L.T., France, R.B., Docker, T.W.G.: Integrated structured analysis and formal specification techniques. The Computer Journal 35 (1992) 600–610.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schätz, B., Hußmann, H., Broy, M. (1996). Graphical development of consistent system specifications. In: Gaudel, MC., Woodcock, J. (eds) FME'96: Industrial Benefit and Advances in Formal Methods. FME 1996. Lecture Notes in Computer Science, vol 1051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60973-3_91
Download citation
DOI: https://doi.org/10.1007/3-540-60973-3_91
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60973-5
Online ISBN: 978-3-540-49749-3
eBook Packages: Springer Book Archive