Modelling Compensation with Timed Process Algebra

Abstract. Compensation is a feature of Business Process Modelling which allows error correction based on non-atomic rollback. Several variant strategies exist for compensation in a similar way that many patterns exist for workflow. Existing formalisations model compensation and workflow in an ad-hoc fashion, mainly due to their high-level nature. In this paper we propose a low-level approach using Timed Process Algebra, which can be extended to model several strategies within a componentoriented framework with compositional semantics.