Bracciali A, Brogi A & Canal C (2002) Systematic component adaptation. Formal Methods and Component Interaction (ICALP 2002 Satellite Workshop), Málaga, Spain, 12.07.2002-13.07.2002. Electronic Notes in Theoretical Computer Science, 66 (4), pp. 103-119. https://doi.org/10.1016/S1571-0661%2804%2980452-3
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 behaviour. The four 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, (3) a fully automated procedure to derive concrete adaptors from given high-level specifications, and (4) an effective technique for verifying properties of adaptors.
Electronic Notes in Theoretical Computer Science: Volume 66, Issue 4