Workflow evolution

Flexibility in Process-Aware Information Systems

“…Most approaches dealing with structural instance adaptations [16,19,10,5,8] focus on correctness; i.e., applying a change to a running instance must neither violate its structural nor behavioral soundness. The correctness criteria used by adaptive PAIS vary and have led to different implementations [9].…”

“…A widely-used correctness property is the trace-based compliance criterion introduced by [19]. Intuitively, change ∆ on schema S (i.e., S[∆ > S ) can be correctly applied to instance I on S iff the execution of I, taken place so far, can be "simulated" on the new schema version S as well.…”

“…Intuitively, change ∆ on schema S (i.e., S[∆ > S ) can be correctly applied to instance I on S iff the execution of I, taken place so far, can be "simulated" on the new schema version S as well. [19] bases compliance on trying to replay trace σ S I of I on S . If this is possible, behavioral soundness can be guaranteed when migrating I to S [19,5].…”

“…[19] bases compliance on trying to replay trace σ S I of I on S . If this is possible, behavioral soundness can be guaranteed when migrating I to S [19,5]. In summary, compliance is fundamental for changing both, single instances and instance collections.…”

“…However, this comes for the price of a restricted set of change patterns (e.g., no order-changing operations). On the other side, traditional compliance [19] uses full instance information as captured by execution traces. Doing so allows for all kinds of change patterns.…”