A declarative meta modeling approach to define process migration constraints

Business Process Management (BPM) aims to model the work ow of business operations providing means for management to monitor, control and improve operations. This practice has been of particular interest to computer science, as process enactment and analysis can bene t immensely from automation. Where process design and enactment used to be distinct phases, information systems now lack support for the emerging emerging life cycle of continuous process redesign. This life cycle requires that process changes can be handled dynamically. Process migration is used to describe what needs to be done when a new version of a process is de ned. Various strategies describe how changes can be adopted by process instances. Instead of the usual division into migration strategies we propose a language to describes migration policies, based on a declarative process modeling approach. We propose a solution implementing Temporal Process Logic, a logic formalism for Business Processes. The logic is applied on the process level and can perform run-time validation of these models, providing a highly dynamic and exible architecture for process enactment. Furthermore we show how TPL can be applied to the meta process level as well, describing in particular instantiation, completion, compliance and transfer of executions in the system at run-time. Behavior of the models and meta models is characterized by metrics based on the notions of execution graphs, compliance, propagation and variability often used within the eld. Our solution is able to di erentiate various cases for basic migration strategies among transfer, proceed and deviation.