A Hierarchical Component Model with Interaction Protocols - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2008

A Hierarchical Component Model with Interaction Protocols

Un modèle de composants hiérarchiques avec protocoles d'interaction

Résumé

The component-based Software Engineering (CBSE) represents an important trend in the development of software architectures. The components are the core of the software applications and the recent efforts concentrate on conceiving component models integrating important properties as for example explicit interaction protocols. Interaction protocols allow a component to publish its behavior in terms of message emission and receipt. Thus, component assemblages can be more effective than in the traditional approach where only static interfaces (input and output) are available. In this thesis, we propose a component model considering black-box components integrating interaction protocols described as Symbolic Transition Systems (STSs). STSs allow the description and verification of complex protocols while dealing with the state explosion problem for example. The model also specifies the compatibility rules, the substitution and the assemblage verification algorithms and a component description language. We propose a generative approach on implementing our model in the Java programming language. The Java code is automatically generated starting from high level component descriptions assuring that the component code is conforming with its specification.
L'utilisation et la gestion des composants sont au coeur des nouvelles architectures logicielles. Les composants représentent les briques de bases des logiciels. Les efforts de recherche actuels se concentrent sur l'élaboration de modèles à base de composants qui intègrent des propriétés importantes comme, par exemple, la description et l'intégration des composants avec des comportements explicites (protocoles d'interaction). Ce sont ces descriptions plus complètes que les interfaces classiques (les points d'entrée et de sortie), qui ouvrent la voie vers la correction des assemblages. Comme aboutissement des travaux de cette thèse, nous proposons un modèle de composants qui utilise des Systèmes de Transitions Symboliques (STSs) pour décrire les comportements des composants. Les composants de notre modèle sont des boîtes noires communicant exclusivement par l'intermédiaire de leurs interfaces étendues avec des protocoles d'interaction. Le modèle spécifie aussi les règles de compatibilité, les algorithmes de vérification des assemblages des composants et de la substitution et un langage de description des composants. Nous proposons une implémentation dans le langage Java en suivant une approche générative ou le code Java est généré à partir des descriptions des composants de haut niveau. Le code est donc garanti a être conforme à la spécification.
Fichier principal
Vignette du fichier
theseSPavel_hyperef-French.pdf (27.01 Mo) Télécharger le fichier

Dates et versions

tel-00484788 , version 1 (19-05-2010)
tel-00484788 , version 2 (26-05-2010)

Identifiants

  • HAL Id : tel-00484788 , version 2

Citer

Sebastien Pavel. A Hierarchical Component Model with Interaction Protocols. Software Engineering [cs.SE]. Université de Nantes, 2008. English. ⟨NNT : ⟩. ⟨tel-00484788v2⟩
226 Consultations
322 Téléchargements

Partager

Gmail Facebook X LinkedIn More