收藏本站 | 联系我们 | 设为首页 | English
当前位置:主页>计算机论文>
基于WF-net的工作流恢复网模型的研究
来源:  作者:本站

  摘要:针对工作流系统中存在的异常问题,提出了一个基于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规则技术成熟实现简单的优点,实现了工作流模型与异常处理模型的无缝结合,同时保持了工作流建模时的简单性。
  


关于本站 | 会员服务 | 隐私保护 | 法律声明 | 站点地图 | RSS订阅 | 友情链接
免责声明:凡本站注明来源为xx所属媒体的作品,均转载自其它媒体转载目的在于传递更多信息,并不代表本站赞同其观点和对其真实性负责。