Skip header navigation

University of Stirling

×

Conference Paper

Systematic component adaptation

Citation
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

Abstract
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.

Journal
Electronic Notes in Theoretical Computer Science: Volume 66, Issue 4

StatusPublished
Author(s)Bracciali, Andrea; Brogi, Antonio; Canal, Carlos
Publication date31/12/2002
Related URLshttp://www.informatik.uni-trier.de/…tcs/entcs66.html
ISSN1571-0661
ConferenceFormal Methods and Component Interaction (ICALP 2002 Satellite Workshop)
Conference locationMálaga, Spain
Dates
Scroll back to the top