loading...
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
Chicago, Illinois, USA September 18-September 22
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.3IEEE International Conference on Web ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang, "A Formal Model forWeb Service Choreography Description Language (WS-CDL)," Web Services, IEEE International Conference on, pp. 893-894, IEEE International Conference on Web Services (ICWS'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ICWS.2006.3,
author = {Hongli Yang and Xiangpeng Zhao and Zongyan Qiu and Geguang Pu and Shuling Wang},
title = {A Formal Model forWeb Service Choreography Description Language (WS-CDL)},
journal ={Web Services, IEEE International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2669-1},
pages = {893-894},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.3},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Web Services, IEEE International Conference on
TI - A Formal Model forWeb Service Choreography Description Language (WS-CDL)
SN - 0-7695-2669-1
SP893
EP894
A1 - Hongli Yang,
A1 - Xiangpeng Zhao,
A1 - Zongyan Qiu,
A1 - Geguang Pu,
A1 - Shuling Wang,
PY - 2006
KW - null
VL - 0
JA - Web Services, IEEE International Conference on
ER -
 
Hongli Yang, Peking University, Beijing 100871, China
Xiangpeng Zhao, Peking University, Beijing 100871, China
Zongyan Qiu, Peking University, Beijing 100871, China
Geguang Pu, East China Normal University, Shanghai 200062, China
Shuling Wang, Peking University, Beijing 100871, China
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.
Citation:
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang, "A Formal Model forWeb Service Choreography Description Language (WS-CDL)," icws, pp.893-894, IEEE International Conference on Web Services (ICWS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.