@inproceedings{85e106f8b891463a9fe0c7b269cd97e0,
title = "A formal model for Web Service choreography description language (WS-CDL)",
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.",
author = "Hongli Yang and Xiangpeng Zhao and Zongyan Qiu and Geguang Pu and Shuling Wang",
year = "2006",
doi = "10.1109/ICWS.2006.3",
language = "英语",
isbn = "0769526691",
series = "Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services",
pages = "893--894",
booktitle = "Proceedings - ICWS 2006",
note = "ICWS 2006: 2006 IEEE International Conference on Web Services ; Conference date: 18-09-2006 Through 22-09-2006",
}