Sunday, 04 August 2013 21:17

Change Support Feature FF3: Correctness of Changes

The application of change patterns must not lead to run-time errors (e.g., activity program crashes due to missing input data, deadlocks, or inconsistencies due to lost updates or vanishing of instances). In particular, di erent criteria have been introduced to formally ensure that process instances can only be updated to a new schema if they are compliant with it. In addition, depending on the used process meta model constraints of the respective formalism (e.g., concerning the structuring of process schemes) have to be taken into account as well when applying process changes to a particular process schema.

Read 1282 times

Get the Book!

book cover small