Semantics of BPEL4WS-Like Fault and Compensation Handling [chapter]

Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
2005 Lecture Notes in Computer Science  
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
more » ... re and the compensation context. We also discuss some insights into the BPEL4WS language and its implementation obtained from this study.
doi:10.1007/11526841_24 fatcat:4e7xgb5zhzd2lcfkonwegdknym