Process Model Definition Evolution and Task Net Migration

We have shown how the permission of deviating process model instances leads to a lightweight process evolution support mechanism (cf. Chapter 5). We have also explained, how we may extract new process knowledge from the inconsistencies or untyped parts present in process model instances through a process model definition inference mechanism (cf. Chapter 6). Such new process knowledge should be modeled and stored within a process model definition, which by consequence must be allowed to change.