Compensation in Workflow Nets

摘要

We present a formal model to specify compensation of workflows: Each acyclic workflow net W (as defined by v.d. Aalst) is canon-ically 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.