Automated Compensation
In a workflow specification, for each step, identify a compensation. Specification is called a saga.
If a workflow stops making progress, run compensations for all committed steps, in reverse order (like transaction abort).
Need to ensure that each compensation’s input is available (e.g. log it) and that it definitely can run (enforce constraints until workflow completes).
Concept is still at the research stage.