Semantics of BPEL4WS-like fault and compensation handling

Zongyan Qiu; Shuling Wang; Geguang Pu; Xiangpeng Zhao

doi:10.1007/11526841_24

Semantics of BPEL4WS-like fault and compensation handling

Zongyan Qiu^*
, Shuling Wang
, Geguang Pu
, Xiangpeng Zhao

^*Corresponding author for this work

Peking University

Research output: Contribution to journal › Conference article › peer-review

64 Scopus citations

Abstract

BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners. In this paper, we present a formal operational semantics to a simplified version of BPEL4WS, with some important concepts related to fault and compensation handling proposed and discussed, especially, the compensation closure and the compensation context. We also discuss some insights into the BPEL4WS language and its implementation obtained from this study.

Original language	English
Pages (from-to)	350-365
Number of pages	16
Journal	Lecture Notes in Computer Science
Volume	3582
DOIs	https://doi.org/10.1007/11526841_24
State	Published - 2005
Externally published	Yes
Event	International Symposium of Formal Methods Europe, FM 2005 - Newcastle, United Kingdom Duration: 18 Jul 2005 → 22 Jul 2005

Keywords

BPEL4WS
Business Process
Com-pensation handling
Fault handling
Language
Semantics

Access to Document

10.1007/11526841_24

Cite this

@article{1cd17b4931e647e38dc00e02addf43e2,

title = "Semantics of BPEL4WS-like fault and compensation handling",

abstract = "BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners. In this paper, we present a formal operational semantics to a simplified version of BPEL4WS, with some important concepts related to fault and compensation handling proposed and discussed, especially, the compensation closure and the compensation context. We also discuss some insights into the BPEL4WS language and its implementation obtained from this study.",

keywords = "BPEL4WS, Business Process, Com-pensation handling, Fault handling, Language, Semantics",

author = "Zongyan Qiu and Shuling Wang and Geguang Pu and Xiangpeng Zhao",

year = "2005",

doi = "10.1007/11526841\_24",

language = "英语",

volume = "3582",

pages = "350--365",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "International Symposium of Formal Methods Europe, FM 2005 ; Conference date: 18-07-2005 Through 22-07-2005",

}

TY - JOUR

T1 - Semantics of BPEL4WS-like fault and compensation handling

AU - Qiu, Zongyan

AU - Wang, Shuling

AU - Pu, Geguang

AU - Zhao, Xiangpeng

PY - 2005

Y1 - 2005

N2 - BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners. In this paper, we present a formal operational semantics to a simplified version of BPEL4WS, with some important concepts related to fault and compensation handling proposed and discussed, especially, the compensation closure and the compensation context. We also discuss some insights into the BPEL4WS language and its implementation obtained from this study.

AB - BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners. In this paper, we present a formal operational semantics to a simplified version of BPEL4WS, with some important concepts related to fault and compensation handling proposed and discussed, especially, the compensation closure and the compensation context. We also discuss some insights into the BPEL4WS language and its implementation obtained from this study.

KW - BPEL4WS

KW - Business Process

KW - Com-pensation handling

KW - Fault handling

KW - Language

KW - Semantics

UR - https://www.scopus.com/pages/publications/26444507906

U2 - 10.1007/11526841_24

DO - 10.1007/11526841_24

M3 - 会议文章

AN - SCOPUS:26444507906

SN - 0302-9743

VL - 3582

SP - 350

EP - 365

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - International Symposium of Formal Methods Europe, FM 2005

Y2 - 18 July 2005 through 22 July 2005

ER -

Semantics of BPEL4WS-like fault and compensation handling

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this