Control Encapsulation: A Calculus for Exogenous Composition of Software Components

Authors:
Kung-Kiu Lau;Mario Ornaghi
Affiliations:
School of Computer Science, the University of Manchester, Manchester, United Kingdom M13 9PL;Dipartimento di Scienze dell'Informazione, Universita' degli studi di Milano, Milano, Italy 20135
Venue:
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Year:
2009

Citing 14
Cited 3

Coordination languages and their significance

Communications of the ACM
Models for concurrency

Handbook of logic in computer science (vol. 4)
&pgr;-calculus, internal mobility, and agent-passing calculi

TAPSOFT '95 Selected papers from the 6th international joint conference on Theory and practice of software development
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
A Calculus of Communicating Systems

A Calculus of Communicating Systems
A calculus for reasoning about software composition

Theoretical Computer Science - Formal methods for components and objects
Software Component Models

IEEE Transactions on Software Engineering
Web Services Orchestration and Choreography

Computer
A Constructive Object Oriented Modeling Language for Information Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Data encapsulation in software components

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A software component model and its preliminary formalisation

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Exogenous connectors for software components

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Compositional event structure semantics for the internal π-calculus

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

A catalogue of component connectors to support development with reuse

Journal of Systems and Software
Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions

ACM SIGBED Review
(Behavioural) design patterns as composition operators

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Connection mechanisms are not hierarchical in general, and therefore current component models do not support hierarchical system construction. In this paper we argue that control encapsulation by components, together with suitable composition mechanisms, can lead to a component model that supports hierarchical system construction. We show an example of such a model and present a calculus for its hierarchical composition mechanisms.