ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 13/HS - 2007  - pp.19-34
TITRE
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.


ABSTRACT
The Component-Based Engineering is an approach for developing software in a modular way by reusing existing software pieces. However finding software components that fit a specific requirement and using correctly the provided services are quite difficult tasks. In this paper, we propose to answer both the issues of expressing a component's user guide and that of expressing usage constraints by specifying multiple user guides, which can be used as services. To ensure the correctness of the protocols, a technique of consistency analysis is provided. This study is experimented on the Kmelia component model.


AUTEUR(S)
Pascal ANDRÉ, Gilles ARDOUREL, Christian ATTIOGBÉ

MOTS-CLÉS
protocoles, modèles de composants, propriétés de correction et cohérence.

KEYWORDS
protocols, component models, correctness and consistency properties.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (150 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier