Verifying mediated service interactions considering expected behaviours

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.

[1]  Tarek Melliti,et al.  Verifying Correctness of Web Services Choreography , 2006, 2006 European Conference on Web Services (ECOWS'06).

[2]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[3]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[4]  Frank Leymann,et al.  BPEL'n'Aspects: Adapting Service Orchestration Logic , 2009, 2009 IEEE International Conference on Web Services.

[5]  Jianwen Su,et al.  Formal specification and verification of asynchronously communicating web services , 2004 .

[6]  Schahram Dustdar,et al.  A survey on web services composition , 2005, Int. J. Web Grid Serv..

[7]  Jeremy Gibbons,et al.  Verifying Business Process Compatibility (Short Paper) , 2008, 2008 The Eighth International Conference on Quality Software.

[8]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[9]  Frédéric Le Mouël,et al.  A Survey on Service Composition Middleware in Pervasive Environments , 2009, ArXiv.

[10]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[11]  Raman Kazhamiakin,et al.  Analysis of communication models in web service compositions , 2006, WWW '06.

[12]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[13]  Thomas Risse,et al.  Combining global optimization with local selection for efficient QoS-aware service composition , 2009, WWW '09.

[14]  Lei Shu,et al.  Formal verification of mediatedweb service interactions considering client's expected behaviours , 2009, 2009 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing.

[15]  Ying Li,et al.  Towards Adaptation of Service Interface Semantics , 2009, 2009 IEEE International Conference on Web Services.

[16]  Manfred Hauswirth,et al.  Control and data dependencies in business processes based on semantic business activities , 2008, iiWAS.

[17]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[18]  Xiang Fu,et al.  Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.

[19]  Soundar R. T. Kumara,et al.  Effective Web Service Composition in Diverse and Large-Scale Service Networks , 2008, IEEE Transactions on Services Computing.

[20]  Carlos Delgado Kloos,et al.  Formal Verification of BPEL4WS Business Collaborations , 2004, EC-Web.

[21]  Fabio Casati,et al.  Semi-automated adaptation of service interactions , 2007, WWW '07.

[22]  Luigi Dragone.  An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints , 2008, OTM Conferences.

[23]  Gerhard Weikum,et al.  Social Wisdom for Search and Recommendation , 2008, IEEE Data Eng. Bull..

[24]  Raman Kazhamiakin,et al.  A Parametric Communication Model for the Verification of BPEL4WS Compositions , 2005, EPEW/WS-FM.

[25]  Luciano Baresi,et al.  Validation of web service compositions , 2007, IET Softw..

[26]  Walid Gaaloul,et al.  Developing Process Mediator for Supporting Mediated Web Service Interactions , 2008, 2008 Sixth European Conference on Web Services.

[27]  Alessio Lomuscio,et al.  Towards verifying contract regulated service composition , 2008, 2008 IEEE International Conference on Web Services.

[28]  Calton Pu,et al.  Categorization and Optimization of Synchronization Dependencies in Business Processes , 2007, 2007 IEEE 23rd International Conference on Data Engineering.

[29]  Anne H. H. Ngu,et al.  Configurable Composition and Adaptive Provisioning of Web Services , 2009, IEEE Transactions on Services Computing.

[30]  Fabio Casati,et al.  Developing Adapters for Web Services Integration , 2005, CAiSE.

[31]  Akhil Kumar,et al.  An Analysis and Taxonomy of Unstructured Workflows , 2005, Business Process Management.

[32]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[33]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.

[34]  Mira Mezini,et al.  A Plug-in Architecture for Self-Adaptive Web Service Compositions , 2009, 2009 IEEE International Conference on Web Services.

[35]  Dragan Bosnacki,et al.  The Design of a Multicore Extension of the SPIN Model Checker , 2007, IEEE Transactions on Software Engineering.