Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Communication and Concurrency
IEEE Transactions on Software Engineering
Dynamically Adapting the Behaviour of Software Components
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Compatibility of e -Services in a Cooperative Multi-platform Environment
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Communications of the ACM - Service-oriented computing
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
A methodology for e-service substitutability in a virtual district environment
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Towards building large scale multimedia systems and applications: challenges and status
Proceedings of the first ACM international workshop on Multimedia service composition
Access control enforcement for conversation-based web services
Proceedings of the 15th international conference on World Wide Web
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Timed Specification For Web Services Compatibility Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
BESERIAL: Behavioural Service Interface Analyser
BPM '08 Proceedings of the 6th International Conference on Business Process Management
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Detecting Behavioural Incompatibilities between Pairs of Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Compatibility and Conformance of Role-Based Interaction Components in MAS
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Asynchronous Timed Web Service-Aware Choreography Analysis
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Diagnosing and Measuring Incompatibilities between Pairs of Services
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
A semantic-based registry enabling discovery, composition and substitution of pervasive services
Proceedings of the Seventh ACM International Workshop on Data Engineering for Wireless and Mobile Access
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
Fine-grained compatibility and replaceability analysis of timed web service protocols
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Semantic web technology for agent communication protocols
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Process mediation based on triple space computing
APWeb'08 Proceedings of the 10th Asia-Pacific web conference on Progress in WWW research and development
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
A functionality perspective on digital library interoperability
ECDL'10 Proceedings of the 14th European conference on Research and advanced technology for digital libraries
Model driven orchestration: design for service compatibility
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
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
On-demand conversation customization for services in large smart environments
IBM Journal of Research and Development
Protocol compatibility notations for service integration testing
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
BPEL processes matchmaking for service discovery
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Analysis of web services composition and substitution via CCS
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
A generic framework for n-protocol compatibility checking
Science of Computer Programming
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Automatic Determination of Compatibility in Evolving Services
International Journal of Web Services Research
Design for service compatibility
Software and Systems Modeling (SoSyM)
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
A survey of change management in service-based environments
Service Oriented Computing and Applications
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
Hi-index | 0.00 |
Whether two web services are compatible depends not only on static properties like the correct typing of their message parameters, but also on their dynamic behaviour. Providing a simple description of the service behaviour based on process-algebraic or automata-based formalisms can help detecting many subtle incompatibilities in their interaction. Moreover, this compatibility checking can to a large extent be automated if we define the notion of compatibility in a sufficiently formal way. Based on a simple behavioural representation, we survey, propose and compare a number of formal definitions of the compatibility notion, and we illustrate them on simple examples.