Migration of a workflow system to changed process definitions

A method for executing a work flow in a workflow management system (WFMS) having at least one process instance executing an original process definition, and migrating the said process instance to a changed process definition, said method comprising:

• a) checking each process instance during the execution of the original process definition whether the process instance meets a migration condition, wherein checking each process instance comprises defining a set of worst case migration points (WMP) by reading the set of worst case migration points (WMP) from an user input, or computing the set of worst case migration points (WMP) based upon the original process definition and the modified process definition, the computing of the set of worst case migration points (WMP) comprises:
• defining a set D including all nodes that are changed in the modified process definition with respect to the original process definition;
• determining a set P including all predecessor nodes for all nodes belonging to set 0;
• determining a reachability matrix R=(rij) for all nodes belonging to set P, each row and column in the reachability matrix R representing a node in the order listed in P, wherein a node X representing a column is regarded as reachable from a another node Y representing a row, if there exists a path of arcs forward from X to Y;
• and
• determining the set of worst case migration points from the reachability matrix R
• b) migrating the process instance to the modified process definition if its execution has not gone beyond anyone of said worst case migration points (WMP), thereby meeting the migration condition, such that said process instance executes said changed process definition.