Quantifying Service Compatibility: A Step beyond the Boolean Approaches

Checking the compatibility of service interfaces allows one to avoid erroneous executions when composing services together. In this paper, we propose a flooding-based approach for measuring the compatibility degree of service interfaces specified using interaction protocols. This proposal is fully automated by a prototype tool we have implmented.

[1]  Niels Lohmann,et al.  Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance , 2008, BPM.

[2]  Mehrdad Sabetzadeh,et al.  Matching and Merging of Statecharts Specifications , 2007, 29th International Conference on Software Engineering (ICSE'07).

[3]  Francisco Durán,et al.  Checking Protocol Compatibility using Maude , 2009, Electron. Notes Theor. Comput. Sci..

[4]  Erhard Rahm,et al.  Similarity flooding: a versatile graph matching algorithm and its application to schema matching , 2002, Proceedings 18th International Conference on Data Engineering.

[5]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[6]  Nabil Hameurlain.  Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification , 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

[7]  Gwen Salaün,et al.  Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques , 2008, IEEE Transactions on Software Engineering.

[8]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

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

[10]  Athman Bouguettaya,et al.  Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings , 2008, ICSOC.

[11]  Zhaohui Wu,et al.  Computing compatibility in dynamic service composition , 2009, Knowledge and Information Systems.

[12]  Insup Lee,et al.  Simulation-Based Graph Similarity , 2006, TACAS.

[13]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[14]  Ali Aït-Bachir.  Measuring Similarity of Service Interfaces , 2008, ICSOC PhD Symposium.

[15]  Luca Padovani,et al.  Formal Methods for Web Services , 2009, Lecture Notes in Computer Science.

[16]  Javier Cámara,et al.  Interactive Specification and Verification of Behavioural Adaptation Contracts , 2009, QSIC.

[17]  Ted Pedersen,et al.  WordNet::Similarity - Measuring the Relatedness of Concepts , 2004, NAACL.

[18]  Fabio Casati,et al.  Technologies for E-Services , 2001, Lecture Notes in Computer Science.

[19]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[20]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[21]  Mario Bravetti,et al.  Contract-Based Discovery and Composition of Web Services , 2009, SFM.