Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00397713
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Tuesday, June 23, 2009 - 12:09:38 PM
Last modification on : Wednesday, April 27, 2022 - 3:50:10 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 6:20:00 PM

File

aaa_sc07.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

108

Files downloads

268