Defining Component Protocols with Service Composition: Illustration with the Kmelia Model

Pascal Andre (1) , Gilles Ardourel (1) , Christian Attiogbé (1)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique

We address in this article the description and usage of component protocols viewed as specific services. In addition to inter-component service composition, our \kmelia component model supports vertical structuring mechanisms that allow service composition inside a component. The structuring mechanisms (namely state annotation and transition annotation) are then used to describe protocols which are considered here as component usage guides. These structuring mechanisms are integrated in the support language of our component model and are implemented in our COSTO toolbox. We show how protocol analysis is performed in order to detect some inconsistencies that may be introduced by the component designers.

Mots clés: Component; Service; Composition; Protocols; Property Analysis

Domaines: Génie logiciel [cs.SE]

Pascal Andre, Gilles Ardourel, Christian Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩. ⟨hal-00397713⟩