A Model-Based Framework for Adapting Interaction Mismatches of Time-Aware Web Services

Service composition is becoming a central aspect in the new paradigm SaaS. In practice, most web services can not be integrated directly into applications because there are some mismatches in their interfaces. These mismatches may arise at different interoperability levels: technical, signature, behavioral, quality of service and semantic. In this paper, we present a model-based framework for generating adaptor protocol for a set of participating behavioral mismatching web services, which also have the ability to deal with time-related issues in QoS level. In order to detect interaction mismatches of time-aware web services, we introduce a formalism, called timed service protocol, to capture timed behavior of time-aware web services and implement automatic mismatch detection via model checker UPPAAL. Building upon this formalization, we present a mechanism to automatically generate adaptor protocol if interaction protocols of the participating time-aware web services are partial compatible. Meanwhile, we illustrate our framework with the help of order management system case study.