Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services
Document Type
Conference paper
Source Publication
Proceedings of the 4th European Conference on Web Services, ECOWS 2006
Publication Date
1-1-2006
First Page
297
Last Page
305
Publisher
IEEE Computer Society
Keywords
Business process execution language, Choreography description language, CSP, Formal methods, Model checking
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.
DOI
10.1109/ECOWS.2006.26
Publisher Statement
Copyright © 2006 IEEE. Access to external full text or publisher's version may require subscription.
Additional Information
Paper presented at the 4th European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zurich, Switzerland.
ISBN of the source publication: 9780769527376
Full-text Version
Publisher’s Version
Language
English
Recommended Citation
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). Los Alamitos: IEEE Computer Society. doi: 10.1109/ECOWS.2006.26