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

C. Canal, P. Poizat, G. Salaün

Première Conférence Francophone sur les Architectures Logicielles (CAL'2006)

         Nantes (France), September 2006

         En Actas. Editions Hermes Sciences / Lavoisier, 2006.

Abstract

Software adaptation aims at solving automatically and in a non intrusive way mismatch between components through the use of specific entities called adapters. If current stateof- the-art component platforms (EJB, CCM) partially support mismatch resolution at the signature level, for example through the use of interface description languages (IDL), higher level mismatch, such as protocol ones, are still an open issue. In this article we present an automatic formal adaptation approach based on regular expressions of synchronous vectors.  (Draft)

Résumé

L’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. (Draft)