本篇文章是由《计算机教育》发表的一篇计算机论文,杂志是由国家教育部主管,清华大学主办,面向国内外发行的直接面向中高端计算机教育事业的国家级期刊。被教育部高校计算机教学指导委员会、教育部高等学校文科计算机基础教学指导委员会、全国高校计算机教育研究会、全国高校计算机基础教育研究会、中国计算机学会、中国计算机用户协会等指定为特别推荐刊物。
摘要:针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。
关键词:工作流恢复网模型; 异常处理; 工作流网; 事件—条件—动作; 数据依赖
在工作流系统中,出现异常是不可避免的。按照Mark Klein等人的定义,工作流异常是指对任何原协同处理过程的偏移,包括活动执行时遇到的错误,对活动和资源的变化缺少支持等[1]。工作流异常可以根据异常的激发源区分为外部异常和工作流异常[2];根据异常的可预测性区分为可预测异常和不可预测异常[3]等。
为了建立一个正确强健的工作流模型,不仅要求系统在正常情况下能顺利运行,更需要系统对运行时出现的异常能够进行有效处理,以提高整个工作流系统的柔性。因此工作流异常处理是工作流系统设计和工作流执行中要解决的关键问题之一。文献[4,5]从提高工作流模型适应性角度提出了工作流模型在执行过程中的动态修改策略以处理异常;文献[6,7]也为工作流异常处理提供了更多的参考手段。近年来国内学者就此进行了初步研究,但主要集中在分析描述异常处理的具体方法策略上[8,9]。虽然文献[10,11]中分别提出了基于事务的工作流异常处理模型和基于对象的工作流模型并给出了异常处理策略,但由于异常处理模型与工作流模型分离,在实现异常处理的同时却增加了两者整合的难度,在实践上带来了很大局限性。
本文首先定义了一个基于工作流网(WF-net)和ECA规则的工作流恢复网模型。它不仅使得WF-net形式化的正确性验证[12,13]和ECA规则的技术成熟实现简单,形成优势互补,而且实现了工作流模型与异常处理模型的无缝结合。在此模型的基础上主要对可预测和不可预测异常处理进行讨论,并给出了基于任务的恢复策略及实例。
3结束语
本文针对工作流系统中存在的异常问题,提出了基于WF-net和ECA规则的工作流异常处理模型及恢复策略。模型结合工作流网形式化的正确性验证和ECA规则技术成熟实现简单的优点,实现了工作流模型与异常处理模型的无缝结合,同时保持了工作流建模时的简单性。
参考文献:
[1]KLEIN M, DELLAROCAS C. A knowledge-based approach to handling exceptions in workflow systems [J].Computer Supported Collaborative Work(CSCW), 2000,9(3/4):399-412.
[2] CHIU D K W,LI Q,KARLAPALEM K. A meta modeling approach to workflow management system supporting exception handling[J].Information Systems,1999,24(2):159-184.
[3]EDER J, LIEBHART W. The workflow activity model WAMO[C]//Proc of the 3rd IntConference on Cooperative Information Systems (CoopIS). Austria:[s.n.],1995:87-98.
[4]KAMMER P J, BOLCER G A, TAYLOR R N, et al. Techniques for supporting dynamic and adaptive workflow[J].Computer Supported Cooperative Work(CSCW), 2000,9(3/4):269-292.
论文指导 >
SCI期刊推荐 >
论文常见问题 >
SCI常见问题 >