Automatic adaptor synthesis for protocol transformation
release_ngy2ndodqzg7hjwlm5dooeoeam
by
Marco Autili, Paola Inverardi, Massimo Tivoli
2014
Abstract
Adaptation of software components is an important issue in Component Based
Software Engineering (CBSE). Building a system from reusable or
Commercial-Off-The-Shelf (COTS) components introduces a set of issues, mainly
related to compatibility and communication aspects. Components may have
incompatible interaction behavior. Moreover it might be necessary to enhance
the current communication protocol to introduce more sophisticated interactions
among components. We address these problems enhancing our architectural
approach which allows for detection and recovery of integration mismatches by
synthesizing a suitable coordinator. Starting from the specification of the
system to be assembled and from the specification of the needed protocol
enhancements, our framework automatically derives, in a compositional way, the
glue code for the set of components. The synthesized glue code avoids
interaction mismatches and provides a protocol-enhanced version of the composed
system.
In text/plain
format
Archived Files and Locations
application/pdf 144.3 kB
file_3xsvrmb4qra5pct43rp6mxm3fy
|
arxiv.org (repository) web.archive.org (webarchive) |
access all versions, variants, and formats of this works (eg, pre-prints)