Composing components with shared services in the Kmelia model

Authors:
Pascal André;Gilles Ardourel;Christian Attiogbé
Affiliations:
LINA, UMR, CNRS, University of Nantes, Nantes Cedex, France;LINA, UMR, CNRS, University of Nantes, Nantes Cedex, France;LINA, UMR, CNRS, University of Nantes, Nantes Cedex, France
Venue:
SC'08 Proceedings of the 7th international conference on Software composition
Year:
2008

Citing 10
Cited 1

Specification and Analysis of System Architecture Using Rapide

IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing architectural connection

ICSE '94 Proceedings of the 16th international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach

Automated Software Engineering
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
On Combining Functional Verification and Performance Evaluation Using CADP

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
CADP - A Protocol Validation and Verification Toolbox

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems

Software—Practice & Experience
Defining component protocols with service composition: illustration with the Kmelia model

SC'07 Proceedings of the 6th international conference on Software composition
Checking component composability

SC'06 Proceedings of the 5th international conference on Software Composition

Can Component/Service-Based Systems Be Proved Correct?

SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract

The Kmelia abstract componentmodel is extended to allow the description of component compositions with multipart interactions leading to simultaneous communications between more than two services. Shared services are defined to explicitly control multipart interactions. Accordingly the communication actions of Kmelia are extended. The formal definitions of the Kmelia model, the composition of components via their services and their analysis are revisited to integrate the extension of the model. An example illustrates the need and the usage of shared services.