Skip header navigation

Conference Paper

Systematic component adaptation

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.

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

Author(s)Bracciali, Andrea; Brogi, Antonio; Canal, Carlos
Publication date31/12/2002
Related URLs…tcs/entcs66.html
ConferenceFormal Methods and Component Interaction (ICALP 2002 Satellite Workshop)
Conference locationMálaga, Spain
Scroll back to the top