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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Qiu, Z., Wang, S., Pu, G., & Zhao, X. (2005). Semantics of BPEL4WS-like fault and compensation handling. In Lecture Notes in Computer Science (Vol. 3582, pp. 350–365). Springer Verlag. https://doi.org/10.1007/11526841_24
Mendeley helps you to discover research relevant for your work.