Subproject A6


    SFB 342A The Sonderforschungsbereich SFB 342 Tour

    Teilprojekt A6

    Distributed Systems Design Methodology

    Subproject A6 developed FOCUS, a methodology for the formal specification and stepwise development of distributed systems. This methodology offers a variety of well-tuned formalisms, different guidelines for the systematic system development as well as a sophisticated refinement concept. The development process of FOCUS is based on modeling systems as networks of components communicating asynchronously via unbounded, directed channels. Current research activities concern the enhancement of FOCUS with pragmatic techniques and methodical guidelines to ease the use ot the development methodology for non-specialists and to support solutions for application oriented problems. 

    The WWW-presentation is split in several topics. Click the topics below for detailed information: 

    • This survey contains a short description of the project aims and a navigation aid for the complete Sonderforschungsbereich.
    • In the research section the planned and achieved research topics are described.
    • Nearly the complete literature of the project can be found online.
    • The project members section contains a list of the currect members of subproject A6.
    • Related information on other sites can be found using additional links.
    • Please contact us for further information.

    Navigational help for the Sonderforschungsbereich 342:
Max Breitling,

Bernhard Schätz,
June 2000