Title

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

Share

COinS