Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification

Wing Lok YEUNG

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

2 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationIEEE International Conference on Service-Oriented Computing and Applications (SOCA) : proceedings : Taipei, Taiwan, December 14-15, 2009
PublisherInstitute of Electrical and Electronics Engineers
Pages262-269
Number of pages8
DOIs
Publication statusPublished - 1 Jan 2009

Bibliographical note

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

Keywords

  • Conformance
  • Exception handling
  • WS-BPEL
  • WS-CDL

Fingerprint Dive into the research topics of 'Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification'. Together they form a unique fingerprint.

Cite this