DocumentCode
3203872
Title
Correct composition of distributed systems
Author
Genssler, T. ; Lowe, Welf
Author_Institution
FZI Karlsruhe, Germany
fYear
1999
fDate
1999
Firstpage
296
Lastpage
305
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings
Conference_Location
Nanjing
Print_ISBN
0-7695-0393-4
Type
conf
DOI
10.1109/TOOLS.1999.796497
Filename
796497
Link To Document