A Formal Approach to Component Adaptation

A. Bracciali, A. Brogi, C. Canal

Journal of Systems and Software, 74(1):45–54, Elsevier, 2005. ISSN: 0164-1212


Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present a formal methodology for adapting components with mismatching interaction behaviour. 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 concrete adaptors from given high-level specifications. (Draft)