Contrôle d'admission de composants avec des contrats comportementaux
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.
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.
P.COLLET, R.ROUSSEAU
génie logiciel orienté composant, contrat comportemental, assertions exécutables, compatibilité de contrats, certification, négociation.
component-based software engineering (CBSE), behavorial contract, executable assertions, compatibility of contracts, certification, negotiation.
Français
|
