On the analysis of compensation correctness

► We define a process calculus for modelling long running transactions under SOC. ► We formally state correctness criteria for compensable processes compositions. ► We formally interpret self-healing compositions under compensation correctness. ► We develop an automated verification approach.