On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
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)
Foundations of statistical natural language processing
Foundations of statistical natural language processing
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Specification and proof in membership equational logic
Theoretical Computer Science - Trees in algebra and programming
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
A Calculus of Communicating Systems
A Calculus of Communicating Systems
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
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
Compatibility Analysis of Web Services
WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
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
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying Business Process Compatibility (Short Paper)
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
BESERIAL: Behavioural Service Interface Analyser
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
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
WordNet: similarity - measuring the relatedness of concepts
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Path-based error propagation analysis in composition of software services
SC'07 Proceedings of the 6th international conference on Software composition
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Hi-index | 0.00 |
Service-Oriented Computing promotes the development of new systems from existing services which are usually accessed through their public interfaces. In this context, interfaces must be compatible in order to avoid interoperability issues. In this article, we propose a new framework for checking the compatibility of n service interfaces. Our framework is generic, in the sense that it implements several compatibility notions useful for different application areas, and extensible since new further notions can easily be incorporated. We consider a service interface model which takes behavioural descriptions with value-passing and non-observable actions into account. Our compatibility checking framework has been fully implemented into a prototype tool which relies on the rewriting logic-based system Maude.