资源描述:
《研究基于WFnet的工作流恢复网模型》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、研究基于WF-net的工作流恢复网模型 摘要:针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。 关键词:工作流恢复网模型;异常处理;工作流网;事件—条件—动作;数据依赖 在工作流系统中,出现异常是不可避免的。按照MarkKlein等人的定义,工作流异常是指对任何原协同处理过程的偏移,包括活动执行时遇
2、到的错误,对活动和资源的变化缺少支持等[1]。工作流异常可以根据异常的激发源区分为外部异常和工作流异常[2];根据异常的可预测性区分为可预测异常和不可预测异常[3]等。 为了建立一个正确强健的工作流模型,不仅要求系统在正常情况下能顺利运行,更需要系统对运行时出现的异常能够进行有效处理,以提高整个工作流系统的柔性。因此工作流异常处理是工作流系统设计和工作流执行中要解决的关键问题之一。文献[4,5]从提高工作流模型适应性角度提出了工作流模型在执行过程中的动态修改策略以处理异常;文献4[6,7]也为工作流异常处理提供了更多的参考手段。近年来国内学者就此进行了初步研究,但主要
3、集中在分析描述异常处理的具体方法策略上[8,9]。虽然文献[10,11]中分别提出了基于事务的工作流异常处理模型和基于对象的工作流模型并给出了异常处理策略,但由于异常处理模型与工作流模型分离,在实现异常处理的同时却增加了两者整合的难度,在实践上带来了很大局限性。 本文首先定义了一个基于工作流网(WF-net)和ECA规则的工作流恢复网模型。它不仅使得WF-net形式化的正确性验证[12,13]和ECA规则的技术成熟实现简单,形成优势互补,而且实现了工作流模型与异常处理模型的无缝结合。在此模型的基础上主要对可预测和不可预测异常处理进行讨论,并给出了基于任务的恢复策略及实例
4、。 3结束语 本文针对工作流系统中存在的异常问题,提出了基于WF-net和ECA规则的工作流异常处理模型及恢复策略。模型结合工作流网形式化的正确性验证和ECA规则技术成熟实现简单的优点,实现了工作流模型与异常处理模型的无缝结合,同时保持了工作流建模时的简单性。 参考文献: [1]KLEINM,DELLAROCASC.Aknowledge-basedapproachtohandlingexceptionsinworkflowsystems[J].ComputerSupportedCollaborativeWork(CSCW),2000,9(3/4):399-
5、412. [2]CHIUDKW,LIQ,KARLAPALEMK.Ametamodelingapproachtoworkflowmanagementsystemsupportingexception4handling[J].InformationSystems,1999,24(2):159-184. [3]EDERJ,LIEBHARTW.TheworkflowactivitymodelWAMO[C]//Procofthe3rdIntConferenceonCooperativeInformationSystems(CoopIS).Austria:[s.n.],1995:8
6、7-98. [4]KAMMERPJ,BOLCERGA,TAYLORRN,etal.Techniquesforsupportingdynamicandadaptiveworkflow[J].ComputerSupportedCooperativeWork(CSCW),2000,9(3/4):269-292. [5]DIVITINIM,SIMONEC.Supportingdifferentdimensionsofadaptabilityinworkflowmodeling[J].ComputerSupportedCooperativeWork(CSCW),2000,9(
7、3/4):365-397. [6]PERRYDE,ROMANOVSKYA,TRIPATHIA.CurrenttrendsinexceptionhandlingpartI[J].IEEETransactionsonSoftwareEngineering,2000,26(9):817-819. [7]PERRYDE,ROMANOVSKYA,TRIPATHIA.CurrenttrendsinexceptionhandlingpartⅡ[J].IEEETransactionsonSoftwareEngineering,