Verifying choreographic descriptions of web services based on CSP

Document Type

Conference paper

Source Publication

Proceedings of the IEEE Services Computing Workshops, SCW 2006

Publication Date

1-1-2006

First Page

97

Last Page

104

Publisher

IEEE Computer Society

Keywords

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

Abstract

The emerging service-oriented architectures based on Web services is fostering a new generation of intra- and inter-organizational cross-platform Web-based business applications. With the new architectures comes a new set of standards (e.g. XML, SOAP, WSDL, UDDI) for enabling self-describing interoperable Web services, as well as for modeling and implementing workflow or process-oriented Web applications. The latter kind of standards include the Web Service Business Process Execution language (BPEL) and the Web Service Choreography Description Language (WS-CDL). While BPEL supports the modeling and implementation of a particular (composite) Web service, WS-CDL can be seen as a behavioral modeling language for the collaboration between multiple parties (Web services) within the same business process. In this paper, we outline how Communicating Sequential Processes (CSP) can be used as a formal basis for checking the behavioral consistency among the participants of a business process with respect to a choreography. The use of a model checking tool for automating the consistency checking is also discussed.

DOI

10.1109/SCW.2006.41

Publisher Statement

Copyright © 2006 IEEE. Access to external full text or publisher's version may require subscription.

Additional Information

Paper presented at the IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, IL.

ISBN of the source publication: 9780769526812

Full-text Version

Publisher’s Version

Language

English

Recommended Citation

Yeung, W. L., Wang, J., & Dong, W. (2006). Verifying choreographic descriptions of web services based on CSP. In Proceedings of the IEEE Services Computing Workshops, SCW 2006 (pp. 97-104). Los Alamitos: IEEE Computer Society. doi: 10.1109/SCW.2006.41

Share

COinS