Title :
Correct composition of distributed systems
Author :
Genssler, T. ; Lowe, Welf
Author_Institution :
FZI Karlsruhe, Germany
Abstract :
This paper argues that functional aspects of a distributed system are to be specified separately from its communication and synchronization aspects. A Petri-net based approach allows to reason about the compatibility of the aspect incarnations and the compatibility of connected components. Using meta-programming, the separate specifications are woven into efficient code
Keywords :
Petri nets; distributed programming; formal specification; software reusability; synchronisation; Petri net based approach; communication; correct distributed system composition; efficient code; functional aspects; meta-programming; specifications; synchronization; Computer architecture; Connectors; Distributed computing; Joining processes; LAN interconnection; Scattering; Software libraries; Software systems; Yarn;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings
Conference_Location :
Nanjing
Print_ISBN :
0-7695-0393-4
DOI :
10.1109/TOOLS.1999.796497
