Protocoles d'utilisation de composants : spécification et analyse en Kmelia
Abstract
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.
Origin | Files produced by the author(s) |
---|