Evolves process models to include corrections, at the same time ensuring that the original goal continues to be achieved. Can generate corrections based on process execution logs.