MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations of statistical natural language processing
Foundations of statistical natural language processing
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Compatibility and inheritance in software architectures
Science of Computer Programming
Similarity Flooding: A Versatile Graph Matching Algorithm and Its Application to Schema Matching
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Computing compatibility in dynamic service composition
Knowledge and Information Systems
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
Graph Matching Algorithms for Business Process Model Similarity Search
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Specification and Verification of Behavioural Adaptation Contracts
QSIC '09 Proceedings of the 2009 Ninth International Conference on Quality Software
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Simulation-Based graph similarity
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
Checking the compatibility of service interfaces allows one to avoid erroneous executions when composing the services together. This task is especially difficult when considering interaction protocols, that is messages and their application order, in service interfaces. Although service compatibility has been intensively studied, in particular for discovery purposes, most of existing works return a Boolean result. However, if two services are incompatible, these approaches do not indicate whether the services are almost compatible or totally incompatible. This information is crucial if one wants to apply adaptation techniques, for instance, to successfully compose these services in spite of existing mismatches. In this paper, we propose a generic flooding-based techniques for measuring the compatibility degree of service protocols. We illustrate our apporach with two compatibility notions, namely unspecified receptions and unidirectional complementarity. Our solution is fully automated by a prototype tool we have implemented.