Theoretical Computer Science
A calculus of mobile processes, II
Information and Computation
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the Semantics and Verification of BPEL4WS
Electronic Notes in Theoretical Computer Science (ENTCS)
Type checking choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Reasoning about interaction patterns in choreography
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Theoretical foundations of scope-based compensable flow language for web service
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
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 |
In this paper, the denotational semantics for WS-CDL language dealing with web services choreography using UTP [5] technique is presented and the features related to choreographies are deeply studied. For instance, the passing channel, implicit concurrency and synchronization etc. mechanisms are explored, which brings us the insights for the design and implementation of CDL as well. Predicate space is used as the denotational model in this paper, which can facilitate us with reasoning about the behaviors of CDL programs.