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.


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


Poster of P. Poizat and G. Salaün's presentation at ASE'07