Adapting Components with Mismatching Behaviours

A. Bracciali, A. Brogi, C. Canal

Component Deployment (CD’02)

Berlin (Germany), June 2002

Component Deployment, LNCS 2370, pp. 185–199, Springer, 2002, ISBN: 3-540-43847-5. ISSN 0302-9743


Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. We present a formal methodology for adapting components with mismatching interaction behaviours. The three main ingredients of the methodology are: (1) The inclusion of behaviour specifications in component interfaces, (2) a simple, high-level notation for expressing adaptor specifications, and (3) a fully automated procedure to derive a concrete adaptor from a given specification. (Draft)