Advanced Temporal Constraints for Business Processes Modelling and Execution

Abstract

In several applications like healthcare, time in workflow execution is critical. Several control and data dependencies arise that must be specified, validated as conflict free, and maintained during workflow execution. The author models these kinds of dependencies as constraints that impose temporal restrictions on the relative order of execution of the activities. Hence, a finer granularity of activity execution with respect to time is introduced. The author incorporates a subset of interval algebra in the workflow specification model and the author proposes the T-WfMc specification model. The author examines the consistency issues that arise, and the author proposes different correctness criteria.