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 9/1-2 - 2003  - pp.31-44  - doi:10.3166/objet.9.1-2.31-44
TITRE
Contrôle d'admission de composants avec des contrats comportementaux

RÉSUMÉ
Dans cet article, nous proposons un modèle technique et méthodologique afin de mieux contrôler la compatibilité sémantique des interfaces des composants logiciels lors de leur admission sur une plate-forme. Ces contrôles d'admission portent principalement sur des contrats comportementaux basés sur des assertions exécutables. Leur compatibilité est déterminée, soit par certification, soit par des tests sur la plate-forme. Compte tenu des nombreux paramètres pour faire le meilleur choix d'admission, nous préconisons une politique de contractualisation qui repose sur un processus de négociation.


ABSTRACT
In this paper, we propose a technical and methodological model to better control the semantic compatibility of software components' interfaces at the time of their admission on a platform. These admission controls mainly rely on behavioral contracts using executable assertions. Their compatibility is determined, either by certification or by testing on the platform. Considering the numerous parameters to make the best choice of admission, we recommend a contractual policy based on a negotiation process.


AUTEUR(S)
Philippe COLLET, Roger ROUSSEAU

MOTS-CLÉS
génie logiciel orienté composant, contrat comportemental, assertions exécutables, compatibilité de contrats, certification, négociation.

KEYWORDS
component-based software engineering (CBSE), behavorial contract, executable assertions, compatibility of contracts, certification, negotiation.

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  (123 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier