基于分组技术工作流活动多实例调度研究.docVIP

基于分组技术工作流活动多实例调度研究 　　摘要：在分析静态和动态活动多实例模型的基础上，提出了一种机制――实例池和多实例分组技术，并且提出相应的算法，解决了静态和动态多实例的调度问题。该机制可以处理静态和动态多实例的生成、初始化、运行和调度以及销毁。 　　关键词：工作流；活动多实例；实例池；分组；调度 　　中图法分类号：TP311文献标识码：A 　　文章编号：1001－3695(2006)09－0060－04 　　 　　工作流是业务过程的模型，它将现实中的业务逻辑和规则以合适的模型在计算机中进行表示并对其实施计算[1,2]。 　　工作流活动多实例，是由一个工作流活动定义而产生的多个实例，它在多个工作流参与者的参与下共同完成。活动多实例问题是在实际中经常遇到的问题，如调查问卷、投票选举等。在工作流管理系统中引入对活动多实例的支持，可以为现实环境中的业务流程处理带来极大的灵活性和方便性。但是由于活动多实例本身的调度控制复杂性，使得大多数工作流管理系统对工作流活动多实例的调度基本不支持或仅提供有限的支持。?? 　　 　　1工作流活动多实例?? 　　 　　1．1工作流活动多实例的描述?? 　　定义：工作流活动[3]。?? 　　工作流活动N是一个四元组N，ID是活动区分于其他活动的唯一标志；U是活动参与者的集合；T是活动属性的集合；V是属性的值域。?? 　　活动实例则是活动定义的实例化。称一个活动N是多实例，指在同一过程实例中至少存在两个活动实例n1和n2（id1≠id2）具有相同的活动定义。?? 　　根据运行语义的不同，文献[3]提出了几种典型的多实例运行模型。在此基础上，我们归纳出活动多实例的前后触发情况：?? 　　（1）One??Join。前序活动A的某个实例a完成，就触发活动A的后继活动B的实例的执行。根据B被触发的实例个数，可以分为1??1触发和1??n触发两种触发方式。?? 　　(2)All??Join。活动A的N个实例均完成后，才触发A的后继活动B的实例的执行。同样可以分成n??1触发和n??n触发。?? 　　（3）Part??Join。活动A的一定数量的实例完成后，就可以触发A的后继活动B的实例的执行。可以分成n??1触发和n??n触发。对这种汇聚使用m/n连接符表示，如图1所示。?? 　　 　　1．2工作流活动多实例的分类?? 　　工作流活动多实例从其产生的方式来看，可以分为两种：?? 　　（1）静态多实例（又称为设计期多实例）。它在设计期就能够确定。某个活动在流程定义时就已经确定了要产生的实例的数目。?? 　　业务流程中的问卷调查通常就是静态多实例的典型代表。问卷的发放数量在定义流程时就可以确定，这种情况只需要在设计流程时指定数目就可以了。?? 　　根据静态多实例的定义，在工作流中出现次数最频繁的活动单实例也可以归属到静态多实例的范畴中。?? 　　（2）动态多实例（又称为运行期多实例）。它的多实例个数在运行期决定。一般是因为多实例的数目要依据运行期的一些信息而定，而这些信息在设计期是不确定的或者是模糊的。如工作流参与者不明确时，就无法在设计期决定到底应该产生多少个活动实例。?? 　　但是在动态多实例活动要被引擎执行前，动态多实例应该被确定化为静态多实例，否则工作流将无法继续执行。这就要求每个动态多实例都应该有一个实例确定点，流程实例执行路径一旦跨越了该实例确定点，则表示相应的动态多实例所需要的产生条件和初始化信息均已经满足，可以将动态多实例静态化了。但如果有两个动态多实例的实例确定点产生了相互依赖，则本流程就会失败。?? 　　流程实例执行路径跨越了一个实例确定点后，根据相应的动态多实例一次所能产生的多实例个数，动态多实例又可以被分为两类，即当条件满足时，一次只产生m（1≤m＜n）个实例；当条件满足时，一次性产生所有的活动实例。?? 　　在线投票流程如图2所示。对一项决议进行投票，在截止时间前登录注册的人员均有权投票，只有当有效票数超过所有注册人员的80%后，投票结果才算有效。?? 　　 　　“网上注册”和“网上投票”是两个动态多实例。大多数情况下，注册一般是一个单实例的活动，有一个活动处理所有的注册信息。如果要记录其他的一些和与会者个人相关的信息，可以作为一个多实例来实现。?? 　　每当一个用户登录后，就会产生一个“网上注册”的活动实例，当到达截止时间或是注册人数达到一定数量时，这个多实例活动就可以完成了。当投票人数确定后，所有的投票活动实例会一次性地全部产生。如网络会议的注册等，只能是登录一个工作流参与者就产生一个注册活动实例。?? 　　无论是哪种情况，都需要一种机制来控制活动多实例的生成、运行和销毁。在此我们引入了活动的实例池，对活动多实例进行管理