Semantics of BPEL4WS-like Fault and Compensation Handling

Title: Semantics of BPEL4WS-like Fault and Compensation Handling
Speaker: 裘宗燕(北京大学数学学院信息科学系教授, www.is.pku.edu.cn/~qzy/)
Time: 3月22日（周四）上午9:30
Venue: 五号楼三层报告厅

Abstract: BPEL4WS is one of the most important business process modelinglanguages. 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 fully 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.