| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10348935 | Journal of Systems and Software | 2005 | 10 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Andrea Bracciali, Antonio Brogi, Carlos Canal,