Copyright © 2003 Elsevier Inc. All rights reserved.
A formal approach to component adaptation
Received 20 October 2002;
Revised 1 February 2003;
accepted 2 May 2003.
Available online 21 January 2004.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
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.







E-mail Article
Add to my Quick Links

Cited By in Scopus (47)






