SFB 342 Tour
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
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