Examining BPEL’s Compensation Construct

Abstract

This paper gives a short description of some features of long- running transactions, as well as the language BPEL and its particular implementation of the compensation concept. Two examples are used to illustrate the application of BPEL’s compensation construct. These examples, and reference to a structural operational semantics developed elsewhere, are used to help support an argument for the need of a more general implementation of compensation. 2. Long-Running Transactions (LRT) ACID + LRT: Consistency + Durability ACID (!LRT): Atomicity & Isolation