Behavioral Adaptation of Component Compositions based on Process Algebra Encodings
Radu Mateescu, Pascal Poizat, and Gwen Salaün
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering ASE'2007 (Atlanta, Georgia, USA), November 2007
Full version available as INRIA Research Report RR-6362.
Abstract:
Component-Based Software Engineering and Service Oriented Computing
promote the reuse of existing software entities, respectively
components and services. Being developed independently, these entities
often mismatch. Software adaptation has been proposed as a solution
to this issue with the objective to generate, as automatically as
possible, adaptors, i.e., software pieces solving mismatch in
a non-intrusive way. We propose an approach for the generation of
adaptor protocols from component behavioral interfaces and composition
contracts. With reference to existing work in the area, our approach
is fully tool-equipped and relies on process algebraic encodings that
support the definition and the use of on-the-fly algorithms for
the adaptor generation.
25 pages | PostScript |
Poster of P. Poizat and G. Salaün's presentation at ASE'07 |