Communicating sequential processes
Communicating sequential processes
A calculus of mobile processes, II
Information and Computation
Model-Based Analysis of Obligations in Web Service Choreography
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Towards the semantics for web service choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
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
Automatic translation of WS-CDL choreographies to timed automata
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
Verifying the conformance of web services to global interaction protocols: a first step
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
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
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Standards for web service choreography and orchestration: status and perspectives
BPM'05 Proceedings of the Third international conference on Business Process Management
| Hi-index | 0.00 |
WS-CDL (Web Service Choreography Description Language) provides a global view to describe the interactive behaviors between multiple participants of Web Services. Although the alignment property plays an important role in the WS-CDL specification, little attention has been paid on the research of alignments. In this paper, we aim at exploring the essence of alignment property and providing formal semantics for WS-CDL with alignments. To achieve this goal, we first define a formal language CDLa, which includes the basic components in WS-CDL. We then discuss the influence of alignment property to the semantics of these components and propose five possible local action based trace semantics for CDLa.