loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Component-Based Construction of Concurrent Systems with Active Components
Patras, Greece
August 27-August 29
ISBN: 978-0-7695-3784-9
ASCII Text
x 
 
Kung-Kiu Lau, Ioannis Ntalamagkas, "Component-Based Construction of Concurrent Systems with Active Components," Software Engineering and Advanced Applications, Euromicro Conference, pp. 497-501, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009.
 
 
BibTex
x
 
@article{ 10.1109/SEAA.2009.45,
author = {Kung-Kiu Lau and Ioannis Ntalamagkas},
title = {Component-Based Construction of Concurrent Systems with Active Components},
journal ={Software Engineering and Advanced Applications, Euromicro Conference},
volume = {0},
year = {2009},
isbn = {978-0-7695-3784-9},
pages = {497-501},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.45},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Advanced Applications, Euromicro Conference
TI - Component-Based Construction of Concurrent Systems with Active Components
SN - 978-0-7695-3784-9
SP497
EP501
A1 - Kung-Kiu Lau,
A1 - Ioannis Ntalamagkas,
PY - 2009
KW - active components
KW - concurrent systems
KW - hierarchical composition
KW - compositionality
VL - 0
JA - Software Engineering and Advanced Applications, Euromicro Conference
ER -
 
We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In this paper we explain how our model can be used to specify and construct concurrent systems in a hierarchical manner that is amenable to compositional reasoning. In particular, we extend previous work on active components via introducing new, concurrent connectors and show how they can be used together for compositionally constructing concurrent systems.
Index Terms:
active components, concurrent systems, hierarchical composition, compositionality
Citation:
Kung-Kiu Lau, Ioannis Ntalamagkas, "Component-Based Construction of Concurrent Systems with Active Components," seaa, pp.497-501, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
Usage of this product signifies your acceptance of the Terms of Use.