Composition and Refinement Mapping based Construction of Distributed
Applications
Arnulf Mester
Heiko Krumm
In TACAS, pages
290--303
Abstract:
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.
Comments
Universität Dortmund, Fachbereich Informatik, D-44221
Dortmund, Germany; Phone +49 231 755-4662, Fax -4730,
(mester,krumm)@ls4.informatik.uni-dortmund.de.
Available as PostScript,
DVI.
![[BRICS symbol]](http://www.brics.aau.dk/BRICS/GIF/BRICS/msymbol8mm.GIF)
BRICS WWW home page