1. A method for executing a work flow in a WFMS having at least one process instance executing an original process definition, and migrating the said instance to a changed definition, said method comprising the following steps: a) checking each process instance during the execution of the original process definition whether the process instance meets a migration condition; and b) migrating each process instance during the execution of the original process definition to a modified process definition if the migration condition is met.