Adaptation des Protocoles des Composants par les Automates d'Interface

Samir Chouali (1) , Sebti Mouelhi (1) , Hassan Mountassir (1)

1 UFC - Université de Franche-Comté

Un des objectifs de l'ingénierie des logiciels base de composants (CBSE) est de permettre la réutilisation des composants sans affecter leurs implémentations. Pour atteindre cet objectif, il est nécessaire de proposer des méthodes et des outils d'adaptation des composants avec leur environnement lorsque des incompatibilités se produisent au cours de leurs interactions. Dans ce papier, nous proposons une approche formelle d'adaptation des composants dont les protocoles comportementaux sont décrits par les automates d'interface, fin d'éliminer les disparités entre les composants aux niveaux des signatures et des protocoles. L'approche proposée tire profit de l'approche optimiste des automates d'interface. Ce formalisme permet de spécifer l'ordonnancement temporel des services requis et offerts des composants.

Domaines: Génie logiciel [cs.SE]; Modélisation et simulation

Samir Chouali, Sebti Mouelhi, Hassan Mountassir. Adaptation des Protocoles des Composants par les Automates d'Interface. AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2010, France. pp.253 - 266. ⟨hal-00956658⟩