loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
31st International Conference on Technology of Object-Oriented Language and Systems
Correct Composition of Distributed Systems
Nanjing, China
September 22-September 25
ISBN: 0-7695-0393-4
ASCII Text
x 
 
Thomas Genßler, Welf Löwe, "Correct Composition of Distributed Systems," Technology of Object-Oriented Languages, International Conference on, pp. 296, 31st International Conference on Technology of Object-Oriented Language and Systems, 1999.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.1999.796497,
author = {Thomas Genßler and Welf Löwe},
title = {Correct Composition of Distributed Systems},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {1999},
issn = {1530-2067},
pages = {296},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796497},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - Correct Composition of Distributed Systems
SN - 1530-2067
SP
EP
A1 - Thomas Genßler,
A1 - Welf Löwe,
PY - 1999
KW - Components
KW - Connectors
KW - Aspect Separation
KW - Compatibility
KW - Efficiency
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
Thomas Genßler, FZI Karlsruhe
Welf Löwe, Universit?t Karlsruhe
This paper argues that functional aspects of a distributed system are to specify 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 to efficient code.
Index Terms:
Components, Connectors, Aspect Separation, Compatibility, Efficiency
Citation:
Thomas Genßler, Welf Löwe, "Correct Composition of Distributed Systems," tools, pp.296, 31st International Conference on Technology of Object-Oriented Language and Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.