报告题目:
Semantics of BPEL4WS-like Fault and Compensation Handling
报告人:
裘宗燕(北京大学数学学院信息科学系教授,
个人主页:www.is.pku.edu.cn/~qzy/
时间:3月22日(周四)上午9:30
地点:五号楼三层报告厅
内容提要
BPEL4WS is one of the most important business process modeling
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 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.