University of Udine
Enabling changes at both process type and process instance level is an essential requirement for any adaptive Process-Aware Information System (PAIS). Particularly, it should be possible to migrate a (long-) running process instance to a new type schema version, even if this instance has been individually modified before. Further instance migration must not violate soundness; i.e., structural and behavioral consistency needs to be preserved. Compliance has been introduced as basic notion to ensure that instances, whose state has progressed too far, are prohibited from being migrated. However, this also excludes them from further process optimizations, which is not tolerable in many practical settings.