Skip to main content
SpringerLink
Log in

AutoFocus — A tool for distributed systems specification

  • Conference paper
  • First Online:
Book cover Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1135))

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. Syslab project, internal report, to be published.

    Google Scholar 

  4. International Telecommunication Union, Geneva. Message Sequence Charts, 1996. ITU-T Recommendation Z.120.

    Google Scholar 

  5. M. P. Jones. An Introduction to Gofer, August 1993.

    Google Scholar 

  6. Lawrence C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer-Verlag, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, D-80333, München, Germany

    Franz Huber, Bernhard Schätz, Alexander Schmidt & Katharina Spies

Authors
  1. Franz Huber
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Schätz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Katharina Spies
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bengt Jonsson Joachim Parrow

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation