Tool Support for the Compositional Development of Distributed Systems

Georg Rock, Werner Stephan, Andreas Wolpers

In: A. Wolisz , I. Schieferdecker , A. Rennoch (Hrsg.). 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT) GMD-Studien 315 GMD 1997.


There is a large number of formalisms available for the development of distributed, concurrent and reactive systems. Also, effort has been invested in the development of model checkers and theorem provers for such formalisms. We argue that for formal developments of a substantial size, the increased complexity of formalisms for compositional development (like [1]) requires tool support which goes beyond theorem provers for the bare formalism. In particular, we discuss the management of proof obligations, changes in the development, and the relationship between development structure and proof structure. (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence