工作流正确性问题综述

《工作流正确性问题综述》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、万方数据第26卷第5期2009年5月计算机应用研究ApplicationResearchofComputersV01．26No．5Mav2009工作流正确性问题综述，：张民1，郭玉彬h，李西明拍，蒋郁26(1．聊城大学计算机学院，山东聊城252059；2．华南农业大学a．信息学院；b．现代教育技术中心，广州510640)摘要：首先从结构正确性和执行正确性两方面对工作流系统的正确性问题进行了综述。对结构正确性，从模型角度进行了正确性定义、判定依据及判定工具的介绍。对执行正确性，从事务、异常处理两个方面介绍了

2、当前工作流正确性的保障技术。最后，对已有工作流正确性问题的理论和实现技术进行了比较，并总结了这方面的几个研究方向，供研究人员借鉴。关键词：工作流管理系统；工作流模型；事务工作流；正确性；异常中图分类号：TP391文献标志码：A文章编号：100l-3695(2009)05-1645-05SurveyforcorrectnessproblemofworknowsystemzHANGMinl，GuoYu．bin2a，uxi．min孑“，JIANGYu26(1．coZ妇Po，co唧H柳，厶cⅢk增功l砌妙，如lo

3、c胁昭sh，渤愕252059．傩讥口；2．口．co啦e矿删拥删妇，6．M础m尉删如，l死击·加幻盱C缸衙，5D以^饥fM』姆证础啪‰毋，GM，lg墨bⅡ510640。蕊i，ln)Abs咖ct：Thispapersum删lrizedcorrectnesspmblemofworkflawsy8tem，includingstmcturalcorrectIle8s明dexecutingcor-rectness．Tostnlcturalcorrectlless，in帅ducedd幽nition，detenninan

4、tsandjudgingt00lsofcorrectnessforworkflowmodel．Andtoexecutingcorrectness，su舢narizedtransactiontechnolog)randabonionpmcessingtechnolog)，聃correctnes8assurancetechnologyofwDrnowsystem．Atlast，pre∞nted∞r∞re∞archfieldswo汕tostudyoncorrectnesspmblemofworknowsys．“

5、硼．1【eywords：workflowmanagemem8ystem；worknowmodel；tran8actionalworI‘flow；correctne88；aboni叩工作流技术是实现业务过程建模、仿真分析、优化、管理与集成，并最终实现业务过程自动化的核心。目前已在并行工程、企业经营过程重组、供应链管理和柔性制造等领域得到广泛应用。但在实际应用中，由于工作流模型的复杂化、网络环境动态多变和执行节点异构、自治等原因，工作流的正确性很难保障，特别是在当前SOA、网格、P2P等松耦合分布式计算模式迅

6、速发展的情况下。工作流管理联盟的工作流管理系统参考模型¨．z。提供了一个规范的术语表，为在一般意义上讨论工作流系统的体系结构提供了基础。但它注重解决工作流组成活动之间的数据流和控制流结构、组织的层次性等问题，而对其正确性问题并没有给出定义，更没有提供并发条件下正确性的判定方法。关于当前分布式计算环境中工作流正确性问题的研究已取得较多成果。本文将工作流系统的正确性问题分为结构正确性和执行正确性两方面，并对工作流模型验证、事务机制、工作流异常处理三种技术中的工作流正确性问题及其保障技术进行了总结，给出了各方向

7、的研究现状，最后总结了工作流正确性问题中几个值得研究的问题，供研究人员借鉴。1工作流模型的正确性验证工作流模型近年来与过程模型、特别是业务过程模型相结合，是工作流技术和过程技术的共同研究热点。从工作流、过程管理等方面的国际会议和期刊论文情况看，当前工作流模型主要包括多工作流互操作模型”一J、动态过程模型∞J、自适应工作流模型怕J、柔性过程模型o¨以及商业智能和过程挖掘模型‘8’91等。在新出现的各种工作流(和过程)模型中，即工作流执行的分布化、工作流互操作和跨组织工作流系统的建模与模型检测等都是当前工作流

8、模型的研究热点。动态和自适应性工作流都要求实现工作流的动态修改。这种修改不仅包括工作流过程的重新设计，还包括一些异常的处理，旨在提供一种内在的发现异常、避免异常以及解决异常的机制，从而提高工作流系统的适应性¨⋯。当前提高工作流自适应性的主要方法包括开放点(open-point)法和元模型(m·ta—model)法等∞1。也有学者利用人工智能中的reactivecon-仃ol、pl卸ning和scheduling技术¨川以及反演