Skip header navigation

University of Stirling

×

Article

A formal approach to component adaptation

Citation
Bracciali A, Brogi A & Canal C (2005) A formal approach to component adaptation. Journal of Systems and Software, 74 (1), pp. 45-54. https://doi.org/10.1016/j.jss.2003.05.007

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

Journal
Journal of Systems and Software: Volume 74, Issue 1

StatusPublished
Author(s)Bracciali, Andrea; Brogi, Antonio; Canal, Carlos
Publication date31/01/2005
PublisherElsevier
ISSN0164-1212
Scroll back to the top