Conference Paper
Details
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
| Status | Published |
|---|---|
| Publication date | 31/12/2002 |
| Related URLs | http://www.informatik.uni-trier.de/…tcs/entcs66.html |
| ISSN | 1571-0661 |
| Conference | Formal Methods and Component Interaction (ICALP 2002 Satellite Workshop) |
| Conference location | Málaga, Spain |
| Dates | – |