Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation

L'adaptation logicielle a pour objectif de resoudre de facon automatique et non intrusive les problemes d'incompatibilites entre composants par la creation d'entites specifiques appelees adaptateurs. Si le probleme des incompatibilites au niveau des signatures est partiellement supporte par les plateformes de composants industrielles (EJB, CCM) au travers notamment de l'utilisation de langages de definition d'interfaces (IDL), des incompatibilites de plus haut niveau comme celles de niveau comportemental (protocoles des composants) restent irresolues. Dans cet article nous presentons une approche formelle d'adaptation comportementale automatique, basee sur des expressions regulieres de vecteurs de synchronisation.