Temporal dependency for dynamic verification of temporal constraints in workflow systems

The current workflow management systems do not take into consideration the mutual dependency between temporal constraints, which is affecting the effectiveness and efficiency of the temporal verification. In this paper, we investigate this dependency and its effects on the verification of temporal constraints. Furthermore, based on these analyses on the temporal dependency, we develop some new methods for more effective and efficient temporal verification. These analyses and new methods further reinforce the time management of the current workflow management systems. © Springer-Verlag 2004