University of Victoria
Enabling dynamic process changes is an essential requirement for any adaptive process management technology. Particularly, it should be possible to migrate (long-) running process instances to a new process schema version. Further, instance migration must not violate soundness; i.e., structural and behavioral consistency of executed process schemas need to be preserved. State compliance has been introduced as basic correctness notion to ensure that instances, whose state has progressed too far, are prohibited from being migrated. However, this also excludes them from future process optimizations, which is often not tolerable in practice.