Composition and Refinement Mapping based Construction of Distributed Applications

Arnulf Mester
Heiko Krumm

In TACAS, pages 290--303


Major steps of the design of distributed applications correspond to the integration of predefined patterns. To support such design steps, a concept for refinement by pattern composition is introduced which applies formal process composition and provides functions for the tool assisted construction and modification of specifications. The approach is based on L. Lamport's Temporal Logic of Actions TLA and the related theory of refinement mappings and system composition.

Universitšt Dortmund, Fachbereich Informatik, D-44221 Dortmund, Germany; Phone +49 231 755-4662, Fax -4730, (mester,krumm)

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page