Skip to Main content Skip to Navigation
Conference papers

Protocoles d'utilisation de composants : spécification et analyse en Kmelia

Résumé : Dans cet article, nous présentons la spécification d'architectures logicielles dans Kmelia, un modèle à composants basé sur les services. Kmelia permet de définir un modèle simple d'architecture fondé sur la description des composants, des services et de leurs interactions, le raisonnement sur des modèles incomplets et le raffinement. Nous traitons plus particulièrement de i) la hiérarchisation des connexions par une description fine des protocoles et des interfaces de services, ii) la composition de services et de composants supportant la hiérarchisation et iii) la vérification outillée de composabilité des éléments de l'architecture qui permet de détecter statiquement des incompatibilités dans les assemblages (visibilités, assertions, comportement dynamique).
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00423665
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Monday, October 12, 2009 - 3:35:38 PM
Last modification on : Wednesday, April 27, 2022 - 4:11:45 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 9:53:21 PM

File

cal06.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00423665, version 1

Citation

Pascal Andre, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. 1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118. ⟨hal-00423665⟩

Share

Metrics

Record views

58

Files downloads

16