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

Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services

Volumn , Issue , 2006, Pages 893-894

  Yang, Hongli ^a,b   Zhao, Xiangpeng ^a   Qiu, Zongyan ^a   Pu, Geguang ^c   Wang, Shuling ^a  

^a PEKING UNIVERSITY   (China)

^b UNITED NATIONS UNIVERSITY   (Macao)

^c EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; MODEL CHECKING; SEMANTICS; SPECIFICATION LANGUAGES;

CHOREOGRAPHY DESCRIPTION LANGUAGE; FORMAL MODELS; OPERATIONAL SEMANTICS;

WEB SERVICES;

EID: 34547355333     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2006.3     Document Type: Conference Paper

References (3)

1. A. Barros, M. Dumas, and P. Oaks. A Critical Overview of the Web Services Choreography Description Language. 2005. avail, at: www.bptrends.com.
2. H.Yang, X.Zhao, Z.Qiu, G.Pu, and S.Wang. A formal model of web service choreography description language(ws-cdl). Technical report, Institute of Math., Peking Univ., 2006-3. avail, at: www.math.pku.edu.cn:8000/en/preindex.php.
3. N.Kavantzas, D.Burdett, and et al. Web Services Choreography Description Language Version 1.0. November 9, 2005. avail, at: www.w3.org/TR/2005/CR-ws-cdl- 10-20051109/.