Abstract
We describe the concept of AutoFocus, a tool for the specification of distributed systems. AutoFocus is based on the formal development method Focus and uses graphical description formalisms embedded into its semantical framework, thus offering well-accepted notations while retaining the ability for exact consistency checks of a system under development. The tool uses a client/server architecture, with a central repository and distributed client applications in a computer network. The paper at hand focuses on the architectural and implementation-related issues of AutoFocus.
This work was carried out within the Subproject A6 of the “Sonderforschungsbereich 342” and the Project SysLab, sponsored by the German Research Community (DFG) under the Leibniz program and by Siemens-Nixdorf
Preview
Unable to display preview. Download preview PDF.
References
Manfred Broy, Frank Dederichs, Claus Dendorfer, Max Fuchs, Thomas Gritzner, and Rainer Weber. The design of distributed systems — an introduction to FOCUS. TUM-I 9202-2, Technische Universität München, 1993.
Manfred Broy, Max Fuchs, Thomas Gritzner, Bernhard Schätz, Katharina Spies, and Ketil Stølen. Summary of case studies in FOCUS — a design method for distributed systems. TUM-I 9423, Technische Universität München, 1994.
R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. Syslab project, internal report, to be published.
International Telecommunication Union, Geneva. Message Sequence Charts, 1996. ITU-T Recommendation Z.120.
M. P. Jones. An Introduction to Gofer, August 1993.
Lawrence C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer-Verlag, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huber, F., Schätz, B., Schmidt, A., Spies, K. (1996). AutoFocus — A tool for distributed systems specification. In: Jonsson, B., Parrow, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1996. Lecture Notes in Computer Science, vol 1135. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61648-9_58
Download citation
DOI: https://doi.org/10.1007/3-540-61648-9_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61648-1
Online ISBN: 978-3-540-70653-3
eBook Packages: Springer Book Archive