Behavioral Adaptation of Component Compositions based on Process Algebra Encodings

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