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

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

1 LINA - Laboratoire d'Informatique de Nantes Atlantique

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.

Mots clés: protocoles; modèles de composants; propriétés de correction et cohérence.; propriétés de correction et cohérence

Domaines: Génie logiciel [cs.SE]

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⟩