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

National audienceL'adaptation logicielle a pour objectif de résoudre de façon automatique et non intrusive les problèmes d'incompatibilités entre composants par la création d'entités spécifiques appelées adaptateurs. Si le problème des incompatibilités au niveau des signatures est partiellement supporté par les plateformes de composants industrielles (EJB, CCM) au travers notamment de l'utilisation de langages de définition d'interfaces (IDL), des incompatibilités de plus haut niveau comme celles de niveau comportemental (protocoles des composants) restent irrésolues. Dans cet article nous présentons une approche formelle d'adaptation comportementale automatique, basée sur des expressions régulières de vecteurs de synchronisation