%0 Journal Article
%T 一种工作流时间截止期限的动态验证方法
%A 唐达
%A 刘丹妮
%J 计算机集成制造系统
%P 0-0
%D 2004
%X 为了动态验证工作流中活动实例的截止期限，提出了一种基于关键路径进行动态验证的方法。该方法根据工作流图中选择分支和可跨越活动的选取情况，将工作流图分别描述成Ebf图、Ebs图、Ewf图和Ews图，并求得各图中的Ebf，Ebs，Ewf和Ews关键路径；根据当前时间和所得到的关键路径对后续活动的截止期限进行了动态验证。这种方法不必计算所有活动实例的截止期限，只需根据实际需要，针对指定的后续活动实例进行截止期限的动态验证，从而减少了计算量，提高了工作流的执行效率。
%K 截止期限
%K 关键路径
%U http://www.cims-journal.cn/CN/abstract/abstract667.shtml