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

摘要/Abstract

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

关键词: 截止期限, 关键路径

Abstract: 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.

Key words: deadline, critical path, workflow

中图分类号:

TP311

唐达，刘丹妮. 一种工作流时间截止期限的动态验证方法[J]. .

TANG Da，LIU Dan-ni. Method for dynamic verification of activity deadlines in timed workflow[J]. .

参考文献

[1]LI Jianqiang,FAN Yushun. Timing boundedness verification and analysis of workflow model［J］. Computer Integrated Manufacturing Systems, 2002,8（10）:770-775(in Chinese).[李建强,范玉顺.工作流模型时间有界性验证与分析研究［J］.计算机集成制造系统,2002,8（10）：770-775.]

[2]EDER J, PANAGOS E, POZEWAUNIG H, et al. Time management in workflow systemsm［A］. Proceedings of the 3rd International Conference on Business Information Systems［C］. Berlin，Germany:Springer-Verlag,1999.265-280.

[3]MARJANOVIC O. Dynamic verification of temporal constraints in production workflows［A］. Proceedings of the 11th Australian Database Conference［C］. New York，WA，USA：IEEE Press，2000. 74770-77581.

[4]EDER J, PANAGOS E, RABINOVICH M. Time constraints in workflow systems［A］. Proceedings of the 11th Conference on Advanced Information Systems Engineering［C］. 1999.1-14.

[5]LI Huifang, FAN Yushun.Overview on managing time in workflow systems［J］.Journal of Software,2002,13(8):1552-1558(in Chinese).[李慧芳,范玉顺.工作流系统时间管理［J］.软件学报，2002,13(08):1552-1558.]

[6]SON J H，KIM M H. Improving the performance of time-constrained workflow processing［J］. Journal of Systems and Software, 2001,58:211-219.

[7]SON J H, KIM J H, KIM M H. Deadline allocation in a time-constrained workflow［J］. International Journal of Cooperative Information Systems, 2001,10(4)：509-530.

[8]LI Hongchen,SHI Meilin,CHEN Xinxiang.Business process and analysis in workflow systems［J］. Journal of Computer Research & Development,2001，38（7）：798-804（in Chinese）.[李红臣，史美林，陈信祥.工作流系统中的业务过程描述及分析［J］.计算机研究与发展，2001，38（7）：798-804.]

[1]	袁友伟,刘恒初,俞东进,李忠金. 面向边缘侧卸载优化的工作流动态关键路径调度算法[J]. 计算机集成制造系统, 2019, 25(第4): 798-808.
[2]	许荣斌,刘鑫,程永亮,石军. 基于紧急程度的共享异构资源调度策略[J]. 计算机集成制造系统, 2018, 24(第7): 1706-1713.
[3]	曹斌,王小统,熊丽荣,范菁. 时间约束云工作流调度的粒子群搜索方法[J]. 计算机集成制造系统, 2016, 22(第2期): 372-380.
[4]	许荣斌,刘鑫,杨壮壮,郭星,谢莹,吴建国. 基于任务执行截止期限的有向无环图实时调度方法[J]. 计算机集成制造系统, 2016, 22(第2期): 455-464.
[5]	赵宁,李亮,杜彦华. 多阶段人机协同的炼钢—连铸调度方法[J]. 计算机集成制造系统, 2014, 20(7): 1675-1683.
[6]	刘刚,王瑛,张发. 基于关键路径求解作业车间调度问题的收敛性分析[J]. 计算机集成制造系统, 2014, 20(5): 1078-.
[7]	马雪丽,黄学文,曹德弼. 集成化车间作业计划动态关键路径编制算法[J]. 计算机集成制造系统, 2013, 19(09): 2178-2186.
[8]	翟颖妮，孙树栋，杨宏安，牛刚刚，袁宗寅. 大规模作业车间多瓶颈调度算法[J]. , 2011, 17(07): 0-0.
[9]	谭宜勇，王锐，范玉顺，郑邦东，郭关飞，孙刚，宋耀华. 分布式工作流中的自适应实时任务调度方法[J]. , 2010, 16(09): 0-0.
[10]	崔健双，李铁克. 求解作业车间调度问题的全局邻域搜索方法[J]. , 2009, 15(07): 0-0.
[11]	陈超，陈庆新，毛宁. 考虑多关键路径的随机项目进度监视模型[J]. , 2008, 14(11): 0-0.
[12]	申龙青，韩毅，杨海成，李原. 航空产品工程网络计划关键路径算法研究[J]. , 2006, 12(02): 0-0.
[13]	孙雪冬，徐晓飞，王刚. 基于资源的过程多目标折衷优化[J]. , 2004, 10(6): 0-0.
[14]	谢志强，刘胜辉，乔佩利. 电机产品加工的动态调度算法[J]. , 2003, 9(6): 0-0.
[15]	周永华，陈禹六. 经营过程重构的时间、质量和成本折衷模型[J]. , 2002, 8(4): 0-0.