Skip to main content
Conference ProceedingsOPEN ACCESS

A formal model for Web Service choreography description language (WS-CDL)

Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services (2006) 893-894
DOI: 10.1109/ICWS.2006.3
52Citations
Citations of this article
31Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We propose a language CDL as a formal model of simplified WS-CDL. The operational semantics of CDL is given, and static validation and verification of choreographies is studied. Some properties of the proposed model are verified using the SPIN model-checker, which illustrates the potential usage and benefits of the formal model. © 2006 IEEE.

Cite

CITATION STYLE

APA

Yang, H., Zhao, X., Qiu, Z., Pu, G., & Wang, S. (2006). A formal model for Web Service choreography description language (WS-CDL). In Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services (pp. 893–894). https://doi.org/10.1109/ICWS.2006.3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free