Publication
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, No. 315, GMD, 1997.
Abstract
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.