Abstract
Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represent different views of the same system, only together forming a complete specification. Here, the question of the integration of those description techniques and views becomes a major issue, raising questions of consistency and completeness. In this paper, we present an approach to ensuring conceptual and semantic consistency, influenced by experience gained from a first implementation of the autofocus tool prototype. Finally, we show how this approach forms the basis for the definition of specification modules.
This work was carried out within the sub-project A6 of “Sonderforschungsbereich 342 (Werkzeuge und Methoden fôr die Nutzung paralleler Rechnerarchitekturen)” and the project SysLab, sponsored by the German Research Community (DFG) under the Leibniz program and by Siemens-Nixdorf.
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
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)
Bechtel, R.: Einbettung des µ-Kalkül Model-Checkers µ-cke in AutoFocus (in English). Master’s Thesis. Institut für Informatik, TU München (1999)
Biere, A.: Effiziente Modellprüfung des µ-Kalküls mit binären Entscheidungsdiagrammen. Ph.D.Thesis. Universität Karlsruhe (1997)
Broy, M., Dendorfer, C., Dederichs, F., Fuchs, M., Gritzner, T., Weber, R.: The Design of Distributed Systems-An Introduction to Focus. Technical Report TUM-I9225, Technische Universität München (1992)
Diekert, V., Rozenberg, G.: The Book of Traces. Singapore World Scientific (1995)
Einert, G.: Ein Framework zur Konsistenzprü;fung von Spezifikationen im AutoFocus-Werkzeug. Master’s Thesis. Institut für Informatik, TU München (1998)
Formal Systems (Europe) Ltd.: Failures-Divergence Refinement: FDR2 User Manual. Oxford (1997)
Grosu, R., Klein, C., Rumpe, B., Broy, M.: State Transition Diagrams. Technical Report TUM-I9630. Technische Universität München (1996)
Grosu, R., Nazareth, D.: The Specification Language SPECTRUM-Core Language Report V1.0. Technical Report TUM-I9429. Technische Universität München (1994)
Huber, F., Schätz, B., Einert, G.: Consistent Graphical Specification of Distributed Systems. In: Fitzgerald, J., Jones, C. B., Lucas, P. (eds.): Proceedings of FME’ 97, 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science, Vol. 1313. Springer (1997)
Huber, F., Schätz, B., Spies, K.: AUTOFOCUS-Ein Werkzeugkonzept zur Beschreibung verteilter Systeme. In Herzog, U., eiHermanns, H. (eds.): Formale Beschreibungstechniken für verteilte Systeme. Universität Erlangen-Nürnberg (1996) 165–174
i.Logix Inc.: Rhapsody Reference (1997)
International Telecommunication Union: ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU, Geneva (1996)
Jones, M. P.: An Introduction to Gofer. User’s Manual (1993)
Paech, B.: Algebraic View Specification. In Wirsing, M., Nivat, M. (eds.): Proceedings of AMAST’ 96: Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, Vol. 1101. Springer (1996) 444–457
Schätz, B., Huβmann, H., Broy, M.: Graphical Development of Consistent System Specifications. In Gaudel, M.-C., Woodcock, J. (eds.): FME’ 96: Industrial Benefit and Advances in Formal Methods. Lecture Notes in Computer Science, Vol. 1051. Springer (1996) 248–267
Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley Professional Computing (1994)
Telelogic AB: SDT 3.1 Reference Manual. Telelogic AB (1996)
Verilog: ObjectGEODE Method Guidelines. Verilog (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schätz, B., Huber, F. (1999). Integrating formal description techniques. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_14
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive