一种工作流时间截止期限的动态验证方法

为了动态验证工作流中活动实例的截止期限,提出了一种基于关键路径进行动态验证的方法。该方法根据工作流图中选择分支和可跨越活动的选取情况,将工作流图分别描述成Ebf图、Ebs图、Ewf图和Ews图,并求得各图中的Ebf,Ebs,Ewf和Ews关键路径;根据当前时间和所得到的关键路径对后续活动的截止期限进行了动态验证。这种方法不必计算所有活动实例的截止期限,只需根据实际需要,针对指定的后续活动实例进行截止期限的动态验证,从而减少了计算量,提高了工作流的执行效率。

Method for dynamic verification of activity deadlines in timed workflow

To verify deadlines of activity instances within workflow, a method of dynamic verification was proposed based on the critical path. According to the choices of the different branches and the optional activities of workflow, the workflow graph was transformed to Ebf, Ebs, Ewf and Ews graphs. Subsequently, the critical paths of the Ebf, Ebs, Ewf and Ews graphs were worked out respectively. The deadlines of the activity instances that would be executed later were verified from the current time and the critical paths. By utilizing this method, it is unnecessary to calculate the deadlines of all the activity instances in actual execution, and it reduces the computational quantity and improves the efficiency of executing workflow.