Verifying mediated service interactions considering expected behaviours

  • Authors:

  • Z. Zhou;L. T. Yang;S. Bhiri;L. Shu;N. Xiong;M. Hauswirth

  • Affiliations:

  • Digital Enterprise Research Institute, National University of Ireland, IDA Business Park, Lower Dangan, Galway, Ireland;Department of Computer Science, St. Francis Xavier University, Antigonish, NS, Canada B2G 2W5;Digital Enterprise Research Institute, National University of Ireland, IDA Business Park, Lower Dangan, Galway, Ireland;Nishio Lab, Department of Multimedia Engineering, Osaka University, Japan;Department of Computer Science, Georgia State University, 34 Peachtree Street, Atlanta, GA 30303, USA;Digital Enterprise Research Institute, National University of Ireland, IDA Business Park, Lower Dangan, Galway, Ireland

  • Venue:
  • Journal of Network and Computer Applications
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

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.