浅议计算环境下企业事务工作流建模探究.docVIP

浅议计算环境下企业事务工作流建模探究网络工程流技术是近年来随着网格计算研究的深入而快速发展起来的网格应用之一，它的目的就是利用现有的工作流技术来自动执行网格环境中的业务流程，随着网格基础设施的建设与发展，越来越多的企业和组织开始借助于其他机构提供的网格服务资源来完成自己的业务流程。本文针对网格工作流事务处理的特殊性，结合传统事务处理技术，在网格工作流模型的基础上，提出了基于网格服务的事务工作流过程模型，并通过实例对过程模型进行了分析。 一、网格工作流的事务模型 1.过程属性与恢复策略 事务工作流中的子过程可能作为一个原子整体，也可能是一个非事务性的实体。同时，对于不同的活动实体，由于执行环境、业务逻辑等差异，它的恢复策略也不相同。在网格这一个松散耦合的自治、异构、动态的环境中传统的“非全则无”原子性要求与相应的恢复策略已不适应复杂的网格环境。在此扩展了事务类型，并根据不同的事务给出了相应的恢复策略。在网格环境中事务属性可分为三个类型：原子类型、半原子类型、松散原子类型。原子类型的子过程，符合传统事务“非全则无”的要求，例买票-付款，买票与付款两活动必须针对同一公司一起发生或不发生。松散原子类型的子过程是一种松耦合的事务类型，子过程整体具有事务特性，而其间的子过程或活动可动态变化的业务逻辑过程。非原子类型的子过程则无需保证执行过程中的原子性。定义4：事务属性TP={atomic，non-atomic，lose-atomic}，其中 atomic、non-atomic、lose-atomic分别代表子过程的原子类型、非原子类型、松散原子类型。工作流的子过程或活动的异常恢复策略与具体业务有着密切关系，但在事务工作流中为了保持业务流程事务性状态的一致性与正确性，在此把与事务相关的恢复策略提取出来，作为恢复策略属性扩展活动和子过程已有的属性。定义5：恢复策略属性RP={ Ignore，Abort，Alternate，Rollback，Retry }。其中：忽略（Ignore）：若一个活动在执行过程中出现异常，该活动已经执行所产生的行为不影响其他活动的执行，并且该活动没有执行的部分也不影响其他活动的执行，则可以采用忽略策略。取消（Abort）：若在工作流执行过程中，出现的异常使得整个流程不能继续执行下去，且已执行的行为不需要进行补偿或没有办法补偿，只能采取取消整个流程的措施。替换（Alternate）：在网格环境下当一个服务出错或退出后，具有相同功能的不同服务来替换。回滚（Rollback）：在工作流执行过程中，当执行到一个活动实例出现异常时，已执行的活动实例已经产生了一些影响，为了使得整个流程能通过其他路径继续下去或正常停止，必须对已执行的行为产生的影响进行消除，这是通过活动补偿完成的。重试（Retry）：在工作流执行过程中，当执行到一个活动实例出现异常时，可以重新执行这个活动实例，直到成功，或者规定重试次数的最大值，直到重试次数不到这个上限，工作流都可以从这个活动开始重新执行。 2.网格事务工作流过程模型 定义：网格事务工作流过程模型描述了具有事务特性的网格服务组合成的企业业务流程，可以抽象表示为一个多元组：TGWF={∑，P，T，A，C，G，Dep，Attr，Cons}，它满足如下条件： （1）∑是颜色集合，包含库所颜色集∑P和变迁颜色集∑T，均为有限非空集。 （2）P是库所的有限集合，它与活动或子过程的输入/输出相对应。 （3）T是变迁的有限集合，变迁分为基本变迁和复合变迁，基本变迁代表一个基础服务，复合变迁代表一个由变迁（基本变迁或复合变迁）、库所、弧组成的子过程。 （4）A是关系的有限集合，定义了在T上的所有服务之上的时序关系。A∈P×T∪T×P，P∩T=T∩A=T∩=Φ。 （5）C是数据类型的函数：C（Pi）是状态库所的颜色集合，表示处在Pi状态服务实例的属性集；C（Ii）是输入库所的颜色，表示服务执行操作的前置条件，C（Oi）输出库所的颜色，C（Fi）是活动变迁的颜色集合。 （6）G为变迁守护函数，它将变迁与表达式相关联。 （7）Dep：中跨层次的服务之间的领带关系集合； （8）Attr：{|t∈T，tp∈{ atomic，non-atomic，lose-atomic }，rp∈{ Ignore，Abort，Alternate，Rollback，Retry }} （9）Cons定义在T上的结束条件集合。 （10）存在两个特殊位置i和o，且。其中：T表示对应网格服务组成的子过程，每个子过程对应于一个基本服务或一个更小的子过程，T描述了子过程的层次结构。颜色集合表达了流程相关变量以及流程中涉及的服务群信息，决定表达式可以使用的数据对象