网格计算环境下企业事务工作流建模研究摘要目前，网格环境下的事务处理技术作为进步企业网格应用可靠性与一致性的有效根底设施，受到了广泛的关注。本文在分析网格环境下事务属性及恢复策略的根底上，提出了一个具有事务支持的工作流动态模型。通过实例分析，该模型可以很好的描绘网格环境中企业业务流程的事务性。关键词网格效劳工作流模型事务网格工作流技术是近年来随着网格计算研究的深化而快速开展起来的网格应用之一，它的目的就是利用现有的工作流技术来自动执行网格环境中的业务流程，随着网格根底设施的建立与开展，越来越多的企业和组织开场借助于其他机构提供的网格效劳资源来完成自己的业务流程。在许多企业业务流程中，业务活动的“事务性需求特别明显，即一个业务过程要么必须正常完毕，要么通过补偿操作撤销已经提交的执行结果，来保证业务逻辑的一致性和正确性。复杂的网格环境为传统的事务技术提出了新的挑战，如何将事务处理技术合理地用于这种分布、异构、动态、自治的开放松偶合环境中对网格应用的开展有着重要意义。工作流过程模型是对企业业务流程的抽象，描绘了业务流程的执行过程，是整个工作流管理系统的起点和基矗与传统的过程模型相比，事务工作流的过程模型不仅要可以描绘过程语义，还要正确表达应用的事务语义。因此本文针对网格工作流事务处理的特殊性，结合传统事务处理技术，在网格工作流模型的根底上，提出了基于网格效劳的事务工作流过程模型，并通过实例对过程模型进展了分析。一、网格工作流的事务模型1.过程属性与恢复策略事务工作流中的子过程可能作为一个原子整体，也可能是一个非事务性的实体。同时，对于不同的活动实体，由于执行环境、业务逻辑等差异，它的恢复策略也不一样。在网格这一个松散耦合的自治、异构、动态的环境中传统的“非全那么无原子性要求与相应的恢复策略已不适应复杂的网格环境。在此扩展了事务类型，并根据不同的事务给出了相应的恢复策略。在网格环境中事务属性可分为三个类型：原子类型、半原子类型、松散原子类型。原子类型的子过程，符合传统事务“非全那么无的要求，例买票-付款，买票与付款两活动必须针对同一公司一起发生或不发生。松散原子类型的子过程是一种松耦合的事务类型，子过程整体具有事务特性，而其间的子过程或活动可动态变化的业务逻辑过程。非原子类型的子过程那么无需保证执行过程中的原子性。定义4:事务属性TP=ati,nn-ati,lse-ati,其中ati、nn-ati、lse-ati分别代表子过程的原子类型、非原子类型、松散原子类型。工作流的子过程或活动的异常恢复策略与详细业务有着亲密关系，但在事务工作流中为了保持业务流程事务性状态的一致性与正确性，在此把与事务相关的恢复策略提取出来，作为恢复策略属性扩展活动和子过程已有的属性。定义5:恢复策略属性RP=Ignre,Abrt,Alternate,Rllbak,Retry。其中：忽略Ignre：假设一个活动在执行过程中出现异常，该活动已经执行所产生的行为不影响其他活动的执行，并且该活动没有执行的局部也不影响其他活动的执行，那么可以采用忽略策略。取消Abrt：假设在工作流执行过程中，出现的异常使得整个流程不能继续执行下去，且已执行的行为不需要进展补偿或没有方法补偿，只能采取取消整个流程的措施。交换Alternate：在网格环境下当一个效劳出错或退出后，具有一样功能的不同效劳来交换。回滚Rllbak：在工作流执行过程中，当执行到一个活动实例出现异常时，已执行的活动实例已经产生了一些影响，为了使得整个流程能通过其他途径继续下去或正常停顿，必须对已执行的行为产生的影响进展消除，这是通过活动补偿完成的。重试Retry：在工作流执行过程中，当执行到一个活动实例出现异常时，可以重新执行这个活动实例，直到成功，或者规定重试次数的最大值，直到重试次数不到这个上限，工作流都可以从这个活动开场重新执行。2.网格事务工作流过程模型定义：网格事务工作流过程模型描绘了具有事务特性的网格效劳组合成的企业业务流程，可以抽象表示为一个多元组：TGF=，P，T，A，G，Dep，Attr，ns，它满足如下条件:(1)是颜色集合，包含库所颜色集P和变迁颜色集T，均为有限非空集。(2)P是库所的有限集合，它与活动或子过程的输入/输出相对应。(3)T是变迁的有限集合，变迁分为根本变迁和复合变迁，根本变迁代表一个根底效劳，复合变迁代表一个由变迁根本变迁或复合变迁、库所、弧组成的子过程。(4)A是关系的有限集合，定义了在T上的所有效劳之上的时序关系。APTTP，PT=TA=T=。(5)是数据类型的函数：(Pi)是状态库所的颜色集合，表示处在Pi状态效劳实例的属性集；(Ii)是输入库所的颜色，表示效劳执行操作的前置条件，(i)输出库所的颜色，(Fi)是活动变迁的颜色集合。(6)G为变迁守护函数，它将变迁与表达式相关联。(7)Dep：中跨层次的效劳之间的领带关系集合；(8)Attr：|tT,tpati,nn-ati,lse-ati,rpIgnre,Abrt,Alternate,Rllbak,Retry(9)ns定义在T上的完毕条件集合。(10)存在两个特殊位置i和，且。其中：T表示对应网格效劳组成的子过程，每个子过程对应于一个根本效劳或一个更小的子过程，T描绘了子过程的层次构造。颜色集合表达了流程相关变量以及流程中涉及的效劳群信息，决定表达式可以使用的数据对象，效劳群集合决定了执行网中各个变迁功能的资源。A描绘了T中根本效劳之间的时序关系，ns定义了在T中的效劳上的各种约束，一般情况下，事务流程按照A时序，及ns中的约束条件正常执行，在产生失效时，T、Dep、Attr描绘了子过程中事务性恢复。二、应用实例分析在此以某电子商务公司快速响应客户需求为例描绘基于网格效劳的事务工作流过程模型。公司在接到用户订单时，由两个部门负责处理，客户效劳部门负责对客户的账户进展检查，配送部门负责订购货物的配送工作。整个过程如下图：T1子过程负责订购货物的配送，T2子过程负责客户收费事宜。T1又分为备货T11、运送T12、T13配送完毕三个根本效劳，T11与T12是一个松散了原子组合，因为备货、与运送效劳有多个。T2可分解为一个检查账户信誉T21与一个组合效劳T22，T22继续分解为计算费用T2a与T2b划账两个根本效劳。在这个例子中，T1与T2定义为并发执行，以进步效率，但T1依赖于T21，T22依赖于T13，在T1与T22中的Dep属性描绘了这种跨层次的依赖关系。三、结论本文针对网格环境下事务处理的特点，在网格工作流动态过程模型的根底，增加了过程模型中的事务属性及恢复策略，定义了网格环境下的事务模型。该模型可以很好的适应网格环境下企业跨组织关键业务的过程集成。参考文献:1李国中刘书雷吴秋云等:动态效劳聚合流程定义元模型及其应用.计算机科学，2022，342，91942任怡管建波，吴泉源等:事务性效劳组合的过程模型及良构性断定.小型微型计算机系统，2022，2812，218721923管荷卿:EB效劳事务的研究总述.计算机科学，2022，32513164王勇张煜尹瑞:EB效劳组合中商业事务处理的研究.小型微型计算机系统，2022，271，12125