The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Enabling conversations with web services
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Interoperability among independently evolving web services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Consistency between Executable and Abstract Processes
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Facilitating the rapid development and scalable orchestration of composite web services
Distributed and Parallel Databases
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
BPM'05 Proceedings of the Third international conference on Business Process Management
A high-level specification for mediators(virtual providers)
BPM'05 Proceedings of the Third international conference on Business Process Management
| Hi-index | 0.00 |
Interactions between Web services are based on interfaces which describe Web services on both structural and behavioral perspectives. It can happen that the interface provided by a service does no longer match (for instance, because of an evolution) the interface required by its partners. In this situation, and until the required interfaces are fixed, interactions cannot succeed. To address this issue, and focusing on the behavioral part of interfaces, we propose an approach based on a mediator which aims to seamlessly resolve incompatibilities during service interactions. We adopted a formal tool as finite-state automata, particularly Labeled Transition Systems to model the behavioral aspects of operations exposed by Web services.