Advertisement

AutoFocus — A tool for distributed systems specification

  • Franz Huber
  • Bernhard Schätz
  • Alexander Schmidt
  • Katharina Spies
Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Proof Obligation State Transition Diagram Semantical Framework Message Sequence Chart Functional Programming Language 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BDD+93]
    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. [BFG+94]
    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. [GKRB]
    R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. Syslab project, internal report, to be published.Google Scholar
  4. [Int96]
    International Telecommunication Union, Geneva. Message Sequence Charts, 1996. ITU-T Recommendation Z.120.Google Scholar
  5. [Jon93]
    M. P. Jones. An Introduction to Gofer, August 1993.Google Scholar
  6. [Pau94]
    Lawrence C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer-Verlag, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Franz Huber
    • 1
  • Bernhard Schätz
    • 1
  • Alexander Schmidt
    • 1
  • Katharina Spies
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations