Message Dependency-Based Adaptation of Services

Mismatch patterns capture the possible differences between two service (business) protocols to adapt. For these mismatches, formal definitions are presented in this paper. And a novel technique provides support for adapting two or more services. This technique requires that messages and message dependencies are used to directly model service (business) protocols and form a novel model, called aemph{protocol structure}. Unlike most of existing approaches that only consider typical mismatches (e.g. deadlock), this model is easily used to detect multiple mismatches at a time and to automatically generate BPEL adapters.