Evaluation of Correctness Criteria for Dynamic Workflow Changes · Study