How multi-step, long-running, human-in-the-loop processes are modelled, executed, resumed and audited.