Correctness criteria for dynamic changes in workflow systems––a survey · Study