Skip to Main content Skip to Navigation
Conference papers

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

Résumé : L'approche des composants logiciels constitue une solution pour développer des logiciels de façon modulaire et en (ré)utilisant l'existant. Cependant, ce n'est pas facile de trouver des composants appropriés à  un besoin spécifique et pouvoir se servir convenablement des services offerts. Nous proposons de répondre à la fois à la problématique de la description de "mode d'emploi" pour les composants et à celle de l'expression de contraintes d'utilisation par la spécification de multiples modes d'emploi qui peuvent être utilisés comme des services quelconques. Pour s'assurer que les protocoles sont exempts d'anomalies, nous avons élaboré une technique d'analyse de leur cohérence. Notre étude et les expérimentations sont faites sur la base du modèle à composants Kmelia.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00423643
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Tuesday, October 13, 2009 - 11:53:12 AM
Last modification on : Wednesday, April 27, 2022 - 4:21:48 AM
Long-term archiving on: : Wednesday, June 16, 2010 - 12:39:15 AM

File

lmo07_AAA.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00423643, version 1

Citation

Pascal André, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. 13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.19-34. ⟨hal-00423643⟩

Share

Metrics

Record views

67

Files downloads

36