Skip to main content
Article thumbnail
Location of Repository

Abstract A formal approach to component adaptation

By Andrea Bracciali A, Antonio Brogi A and Carlos Canal B

Abstract

Component adaptation is widelyrecognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present a formal methodologyfor adapting components with mismatching interaction behaviour. The three main ingredients of the methodologyare: (1) the inclusion of behaviour specifications in component interfaces, (2) a simple, high-level notation for expressing adaptor specifications, and (3) a fullyautomated procedure to derive concrete adaptors from given high-level specifications. Ó 2003 Elsevier Inc. All rights reserved. 1

Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.134.6830
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.di.unipi.it/~bracci... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.