We present a formal model to specify compensation of workflows: Each acyclic workflow net W (as defined by v.d. Aalst) is canonically extended to a net W~+, representing the potential occurrence of failures, and the compensation of so-far executed actions. We show that the construction is compositional and correct, i.e. meets the expected properties.
展开▼