Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification
Document Type
Conference paper
Source Publication
IEEE International Conference on Service-Oriented Computing and Applications (SOCA) : proceedings : Taipei, Taiwan, December 14-15, 2009
Publication Date
1-1-2009
First Page
262
Last Page
269
Publisher
Institute of Electrical and Electronics Engineers
Keywords
Conformance, Exception handling, WS-BPEL, WS-CDL
Abstract
We have previously developed a formal approach to verifying conformance for web services choreography based on the formalism of Communicating Sequential Processes (CSP). In this paper, we extend the approach to cover exception handling, which is commonly used in specifying the choreography as well as orchestration of web services. In particular, we show how timeout exceptions and message events are handled in the formal approach and illustrate it using a document ordering and delivery process as an example.
DOI
10.1109/SOCA.2009.5410265
Publisher Statement
Copyright © 2009 IEEE. Access to external full text or publisher's version may require subscription.
Additional Information
Paper presented at the 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2009), 14-15 January 2009, Taipei.
ISBN of the source publication: 9781424452996
Full-text Version
Publisher’s Version
Language
English
Recommended Citation
Yeung, W. L. (2009). Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. In IEEE International Conference on Service-Oriented Computing and Applications (SOCA): Proceedings: Taipei, Taiwan, December 14-15, 2009 (pp. 262-269). Piscataway: Institute of Electrical and Electronics Engineers. doi: 10.1109/SOCA.2009.5410265