Component-based Construction of Concurrent Systems with Active Components

Kung-Kiu Lau and Ioannis Ntalamagkas
School of Computer Science, The University of Manchester
Manchester M13 9PL, UK
{kung-kiu,i.ntalamagkas}@cs.manchester.ac.uk

Abstract: 

We have de~ned a software component model which speci~es 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.