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

Wing Lok YEUNG

doi:10.1109/SOCA.2009.5410265

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

Wing Lok YEUNG

Department of Computing and Decision Sciences

Research output: Book Chapters | Papers in Conference Proceedings › Conference paper (refereed) › Research › 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 language	English
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
Pages	262-269
Number of pages	8
DOIs	https://doi.org/10.1109/SOCA.2009.5410265
Publication status	Published - 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

Access to Document

10.1109/SOCA.2009.5410265

Cite this

@inproceedings{c05ba95347254176ae393723c80c8c3a,

title = "Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification",

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.",

keywords = "Conformance, Exception handling, WS-BPEL, WS-CDL",

author = "YEUNG, {Wing Lok}",

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",

year = "2009",

month = jan,

day = "1",

doi = "10.1109/SOCA.2009.5410265",

language = "English",

pages = "262--269",

booktitle = "IEEE International Conference on Service-Oriented Computing and Applications (SOCA) : proceedings : Taipei, Taiwan, December 14-15, 2009",

publisher = "Institute of Electrical and Electronics Engineers",

}

Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. / YEUNG, Wing Lok.
IEEE International Conference on Service-Oriented Computing and Applications (SOCA) : proceedings : Taipei, Taiwan, December 14-15, 2009. Institute of Electrical and Electronics Engineers, 2009. p. 262-269.

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

TY - GEN

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

AU - YEUNG, Wing Lok

N1 - 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

PY - 2009/1/1

Y1 - 2009/1/1

N2 - 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.

AB - 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.

KW - Conformance

KW - Exception handling

KW - WS-BPEL

KW - WS-CDL

UR - http://www.scopus.com/inward/record.url?scp=77950214670&partnerID=8YFLogxK

U2 - 10.1109/SOCA.2009.5410265

DO - 10.1109/SOCA.2009.5410265

M3 - Conference paper (refereed)

SP - 262

EP - 269

BT - IEEE International Conference on Service-Oriented Computing and Applications (SOCA) : proceedings : Taipei, Taiwan, December 14-15, 2009

PB - Institute of Electrical and Electronics Engineers

ER -

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

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this