The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic and adaptive composition of e-services
Information Systems - The 12th international conference on advanced information systems engineering (CAiSE 00)
Web Services and Business Transactions
World Wide Web
The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
A Service Level Agreement Language for Dynamic Electronic Services
WECWIS '02 Proceedings of the Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02)
Enabling conversations with web services
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Communications of the ACM - Service-oriented computing
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
Web service composition transaction management
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Current Solutions for Web Service Composition
IEEE Internet Computing
Towards a conversation-driven composition of web services
Web Intelligence and Agent Systems
Toward an Agent-Based and Context-Oriented Approach for Web Services Composition
IEEE Transactions on Knowledge and Data Engineering
A Solution for Web Services Transaction
ICHIT '06 Proceedings of the 2006 International Conference on Hybrid Information Technology - Volume 02
A survey on web services composition
International Journal of Web and Grid Services
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
This paper discusses Web services synchronization at the composition level. Synchronization aims at assisting independent parties coordinate their actions and thus, avoid conflicts. Our previous work on synchronization primarily focussed on the component level and shed the light on two types of behaviors related to specifying Web services. The operational behavior defines the business logic that underpins the functioning of a Web service, and the control behavior regulates the execution progress of this operational behavior by stating the actions to carry out and the constraints to put on this progress. Operational and control behaviors continue to be used to specify composite Web services with respect to the orchestration schemas that these composite Web services have to comply with whether centralized or peer-to-peer. As a result, various types of messages to achieve synchronization are developed per type of orchestration schema. Experiments showing the use of these messages are reported in this paper as well.