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

Hongli Yang; Xiangpeng Zhao; Zongyan Qiu; Geguang Pu; Shuling Wang

doi:10.1109/ICWS.2006.3

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

Hongli Yang^*
, Xiangpeng Zhao
, Zongyan Qiu
, Geguang Pu
, Shuling Wang

^*Corresponding author for this work

Software Engineering Institute

Peking University
United Nations University Institute in Macau

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

54 Scopus citations

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.

Original language	English
Title of host publication	Proceedings - ICWS 2006
Subtitle of host publication	2006 IEEE International Conference on Web Services
Pages	893-894
Number of pages	2
DOIs	https://doi.org/10.1109/ICWS.2006.3
State	Published - 2006
Event	ICWS 2006: 2006 IEEE International Conference on Web Services - Chicago, IL, United States Duration: 18 Sep 2006 → 22 Sep 2006

Publication series

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

Conference

Conference	ICWS 2006: 2006 IEEE International Conference on Web Services
Country/Territory	United States
City	Chicago, IL
Period	18/09/06 → 22/09/06

Access to Document

10.1109/ICWS.2006.3

Cite this

@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",

}

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., 4032109, Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services, pp. 893-894, ICWS 2006: 2006 IEEE International Conference on Web Services, Chicago, IL, United States, 18/09/06. https://doi.org/10.1109/ICWS.2006.3

A formal model for Web Service choreography description language (WS-CDL). / Yang, Hongli; Zhao, Xiangpeng; Qiu, Zongyan et al.
Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services. 2006. p. 893-894 4032109 (Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Yang, Hongli

AU - Zhao, Xiangpeng

AU - Qiu, Zongyan

AU - Pu, Geguang

AU - Wang, Shuling

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/34547355333

U2 - 10.1109/ICWS.2006.3

DO - 10.1109/ICWS.2006.3

M3 - 会议稿件

AN - SCOPUS:34547355333

SN - 0769526691

SN - 9780769526690

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

SP - 893

EP - 894

BT - Proceedings - ICWS 2006

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

Y2 - 18 September 2006 through 22 September 2006

ER -

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this