Subproject A6
Survey
Research
Cooperations
Literature
People
Links
Contact
- 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.
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:
