Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services

Wing Lok YEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

21 Citations (Scopus)

Abstract

The Web Service Business Process Execution Language (WS-BPEL) and the Web Service Choreography Description Language (WS-CDL) are two important standards for modelling and implementing workflows and business processes based on Web services. From the WS-CDL description of a Web services based business process, we may extract a behavioural specification against which the combined behaviour of the participating Web services should be verified. We show how to express this behavioural specification as well as the behaviour of individual WS-BPEL-based Web services in the formalism of Communicating Sequential Processes (CSP), which supports a formal approach to verifying the behaviour of collaborating Web services.
Original languageEnglish
Title of host publicationProceedings of the 4th European Conference on Web Services, ECOWS 2006
PublisherIEEE Computer Society
Pages297-305
Number of pages9
DOIs
Publication statusPublished - 1 Jan 2006

Fingerprint

WSDL
Web services
Specifications
Industry

Bibliographical note

Paper presented at the 4th European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zurich, Switzerland.
ISBN of the source publication: 9780769527376

Keywords

  • Business process execution language
  • CSP
  • Choreography description language
  • Formal methods
  • Model checking

Cite this

YEUNG, W. L. (2006). Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services. In Proceedings of the 4th European Conference on Web Services, ECOWS 2006 (pp. 297-305). IEEE Computer Society. https://doi.org/10.1109/ECOWS.2006.26
YEUNG, Wing Lok. / Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services. Proceedings of the 4th European Conference on Web Services, ECOWS 2006. IEEE Computer Society, 2006. pp. 297-305
@inproceedings{e8ac79b3942f4bc3ae8f076cbaf6f251,
title = "Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services",
abstract = "The Web Service Business Process Execution Language (WS-BPEL) and the Web Service Choreography Description Language (WS-CDL) are two important standards for modelling and implementing workflows and business processes based on Web services. From the WS-CDL description of a Web services based business process, we may extract a behavioural specification against which the combined behaviour of the participating Web services should be verified. We show how to express this behavioural specification as well as the behaviour of individual WS-BPEL-based Web services in the formalism of Communicating Sequential Processes (CSP), which supports a formal approach to verifying the behaviour of collaborating Web services.",
keywords = "Business process execution language, CSP, Choreography description language, Formal methods, Model checking",
author = "YEUNG, {Wing Lok}",
note = "Paper presented at the 4th European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zurich, Switzerland. ISBN of the source publication: 9780769527376",
year = "2006",
month = "1",
day = "1",
doi = "10.1109/ECOWS.2006.26",
language = "English",
pages = "297--305",
booktitle = "Proceedings of the 4th European Conference on Web Services, ECOWS 2006",
publisher = "IEEE Computer Society",
address = "United States",

}

YEUNG, WL 2006, Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services. in Proceedings of the 4th European Conference on Web Services, ECOWS 2006. IEEE Computer Society, pp. 297-305. https://doi.org/10.1109/ECOWS.2006.26

Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services. / YEUNG, Wing Lok.

Proceedings of the 4th European Conference on Web Services, ECOWS 2006. IEEE Computer Society, 2006. p. 297-305.

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

TY - GEN

T1 - Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services

AU - YEUNG, Wing Lok

N1 - Paper presented at the 4th European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zurich, Switzerland. ISBN of the source publication: 9780769527376

PY - 2006/1/1

Y1 - 2006/1/1

N2 - The Web Service Business Process Execution Language (WS-BPEL) and the Web Service Choreography Description Language (WS-CDL) are two important standards for modelling and implementing workflows and business processes based on Web services. From the WS-CDL description of a Web services based business process, we may extract a behavioural specification against which the combined behaviour of the participating Web services should be verified. We show how to express this behavioural specification as well as the behaviour of individual WS-BPEL-based Web services in the formalism of Communicating Sequential Processes (CSP), which supports a formal approach to verifying the behaviour of collaborating Web services.

AB - The Web Service Business Process Execution Language (WS-BPEL) and the Web Service Choreography Description Language (WS-CDL) are two important standards for modelling and implementing workflows and business processes based on Web services. From the WS-CDL description of a Web services based business process, we may extract a behavioural specification against which the combined behaviour of the participating Web services should be verified. We show how to express this behavioural specification as well as the behaviour of individual WS-BPEL-based Web services in the formalism of Communicating Sequential Processes (CSP), which supports a formal approach to verifying the behaviour of collaborating Web services.

KW - Business process execution language

KW - CSP

KW - Choreography description language

KW - Formal methods

KW - Model checking

UR - http://commons.ln.edu.hk/sw_master/7069

U2 - 10.1109/ECOWS.2006.26

DO - 10.1109/ECOWS.2006.26

M3 - Conference paper (refereed)

SP - 297

EP - 305

BT - Proceedings of the 4th European Conference on Web Services, ECOWS 2006

PB - IEEE Computer Society

ER -

YEUNG WL. Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services. In Proceedings of the 4th European Conference on Web Services, ECOWS 2006. IEEE Computer Society. 2006. p. 297-305 https://doi.org/10.1109/ECOWS.2006.26