Defining Component Protocols with Service Composition: Illustration with the Kmelia Model - Archive ouverte HAL
Conference Papers Year : 2007

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.
Fichier principal
Vignette du fichier
aaa_sc07.pdf (229.08 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00397713 , version 1 (23-06-2009)

Identifiers

Cite

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⟩
138 View
302 Download

Altmetric

Share

More