A calculus of mobile processes, I
Information and Computation
HTN planning: complexity and expressivity
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Introduction to General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
The Mobility Workbench - A Tool for the pi-Calculus
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Service -Oriented Computing: Concepts, Characteristics and Directions
WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
Current Solutions for Web Service Composition
IEEE Internet Computing
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Journal of Artificial Intelligence Research
The SPIN Model Checker: Primer and Reference Manual
The SPIN Model Checker: Primer and Reference Manual
From inter-organizational workflows to process execution: generating BPEL from WS-CDL
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Journal of Systems and Software
Web services choreography validation
Service Oriented Computing and Applications
Automatically testing web services choreography with assertions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Hi-index | 0.00 |
Web services are becoming the prominent paradigm for distributing, computing, and electronic business, while there is an increasing surge to provide online Business-to-Business collaborations. The Web Services Choreography Description Language (WS-CDL) is a Web service specification developed by W3C, in order to provide peer-to-peer collaborations for participants from different parties. Despite the great research interests it has received during recent years, no practical or even prototype execution engine has been built for WS-CDL, which is, however, essential to test and evaluate the properties of WS-CDL when doing research on it, and also a crucial component to put WS-CDL into the application field. This paper implements an execution engine for WS-CDL, which has never been built before, and enhance its functionalities and usability by introducing six extended features into the execution engine, namely WS-CDL+. Several experiments are then done to test the functionalities and performance of the execution engine, making sure that it works properly according to the WS-CDL+ specification and its performance is acceptable. Finally, the whole paper is concluded, as well as the discussion of the application perspectives of WS-CDL/WS-CDL+.