Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
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)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
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
Communication and Concurrency
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Membership algebra as a logical framework for equational specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Analyzing Compatibility of BPEL Processes
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Measuring the compatibility of service interaction protocols
Proceedings of the 2011 ACM Symposium on Applied Computing
Evaluating the compatibility of conversational service interactions
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Hi-index | 0.00 |
Checking compatibility of services accessed through their behavioural interfaces is a crucial issue in Service Oriented Computing which aims at building new systems from existing software services. In this paper, we consider a model of services which takes value passing and non-observable actions into account. We propose an approach to check in a unified way several compatibility notions between two service protocols using the rewriting logic system Maude. In particular, we illustrate our approach with three widely used compatibility notions, namely opposite behaviours, unspecified receptions and deadlock freeness. These notions as well as several strategies to handle non-observable actions have been formalised and fully implemented into a prototype tool which is able to automatically detect whether two services are compatible, and return a counterexample if they are not.