Verifying Mediated Service Interactions Considering Expected Behaviours
Z. Zhou,L. T. Yang,S. Bhiri,L. Shu,N. Xiong,M. Hauswirth
DOI: https://doi.org/10.1016/j.jnca.2010.06.006
IF: 7.574
2010-01-01
Journal of Network and Computer Applications
Abstract:Given the inherent autonomy, heterogeneity, and continuous evolution of Web services, mismatches usually exist between service protocols, and service interactions are typically conducted by means of adapters. A set of service protocols often can conduct multiple interactions, but a few, whose results fulfill the requestor's requirements, are expected. In this paper, we propose a technique to verify whether a certain expected interaction is adaptable. Then, a requestor can choose a suitable provide service from a set of functionally equivalent candidates according to her requirements. This technique complements the effort of adapter synthesization for achieving an expected service interaction.