Contrats comportementaux pour un assemblage sain de composants
Cyril Carrez, Alessandro Fantechi, Elie Najm
in Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2003),
Oct. 2003.
French translation of the FORTE 2003 article.
in Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2003),
Oct. 2003.
French translation of the FORTE 2003 article.
RésuméLa conception basée composants est une nouvelle méthode de construction d'applications et de systèmes distribués. La vérification compositionelle de ces systèmes reste cependant un problème. Nous étudions des méthodes et des concepts pour la construction d'assemblages "sains". Nous définissons un modèle de composant abstrait, dynamique et multi-tâche, qui englobe les modèles client/serveur et point-à-point (\emph{peer to peer}). Nous définissons un langage de type d'interfaces comportementales, doté d'un ensemble de règles (décidables) de compatibilité d'interface. Basé sur la notion de conformité du composant par rapport à son interface, nous définissons les concepts de "contrat" et "respect de contrat". Cela mène au concept d'assemblages sains de composants~: assemblages faits de composants et leurs contrats, interagissant à travers des interfaces compatibles. Les assemblages sains possèdent des propriétés intéressantes, comme "l'absence d'interblocage externe" et "la consommation des messages". Mots-clés: Typage comportemental, vérification, composition, composants, peer-to-peer, client/serveur |
AbstractComponent based design is a new methodology for the construction of distributed systems and applications. Remains the problem of the compositional verification of such systems. We investigate methods and concepts for the provision of "sound" assemblies. We define an abstract, dynamic, multi-threaded, component model, encompassing both client/sever and peer to peer communication patterns. We define a behavioural interface type language endowed with a (decidable) set of interface compatibilty rules. Based on the notion of compliance of components to their interfaces, we define the concepts of "contract" and "contract satisfaction". This leads to the concept of sound assemblies of components, i.e., assemblies made of contracted components interacting through compatible interfaces. Sound assemblies possess intersting properties, such as, "external deadlock freeness" and "message consumption". Keywords: Behavioural typing, verification, composition, components, peer-to-peer, client/server |
@InProceedings{carrez03contrats,
title = "Contrats comportementaux pour un assemblage sain de
composants",
author = "Cyril Carrez and Alessandro Fantechi and Elie Najm",
booktitle = "Colloque Francophone sur l'Ingénierie des Protocoles ({CFIP
2003})",
year = 2003,
address = "Paris, France",
month = oct,
note = "Traduction française de \cite{carrez03behavioural}",
url = "\url{http://www.cyril-carrez.net/work/publis/cfip03.html}"
}