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.
|Title of host publication||IEEE International Conference on Service-Oriented Computing and Applications (SOCA) : proceedings : Taipei, Taiwan, December 14-15, 2009|
|Publisher||Institute of Electrical and Electronics Engineers|
|Number of pages||8|
|Publication status||Published - 1 Jan 2009|
Bibliographical notePaper 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
- Exception handling