工作流实例的研究.docVIP

工作流实例的研究 　　工作流模型的复杂程度众所周知，为他设计的算法也种类繁多，但是哪种方法才是最适合客户的，用实例来说明最有力。 　　 　　由于工作流模型的复杂性，目前还没有十分有效的算法可以对其正确性进行分析。 　　有一种基于图形化简的方法进行工作流模型校核，它归纳了几种化简规则，但这种方法只对工作流模型结构中存在的特殊问题(与连接或同步的输入存在互斥的或分支及或连接的输入中有属于同一个与分支的输出)进行了分析与校核，而且这种方法不适用于存在循环结构的工作流模型。 　　由于Petri网具有严格的数学基础和图形化的规范语义，引起工作流建模与分析研究人员极大的注意。 　　另外一种算法是用Petri网进行工作流的模的工作流网，并将工作流模型的正确性归纳为工作流网的完整性。还有就是一种基于Petri网的图形化简方法辅助模型校核，但是其提出的化简步骤，由于不具备完备性不能完全校核工作流模型的正确性。 　　对于UML活动图用于工作流建模的研究，虽然已经引起人们的极大重视，但仍处于比较初级的阶段，特别是对于模型的校核方面的研究，更是进行得不多，如果在建立适合工作流建模的形式化语义基础上通过执行机制实现工作流模型的校核，就仍需要进一步研究。 　　特别是通过化简方法来简易判断模型的正确性还没有相关研究的报道。 　　 　　图1 工厂处理订单活动图工作流模型 　　 　　图2 工厂订单处理活动超图模型 　　 　　UML活动图工作流建模 　　UML活动图中存在较多的与节点和或节点这样的伪节点，以及复杂的层次结构。这些元素的存在大大增加了工作流模型的复杂度，使得较难正确判断所建模型的正确性和准确性等。为了使活动图更加清晰明了，可对活动图进行适当处理。 　　UML将活动图中的与节点(fork)、或节点(join)、或连接(merge)和或分支(decision)这几个节点称为伪节点，所谓伪节点是指那些不代表系统状态的节点，它们在活动图中所起的作用为将边聚合到一起。UML将聚合在一起的边集称为复合边。 　　复合边具有2个特殊的性质:(1)原子性，也就是在复合边中的边要么一条都不执行，要么全部执行;(2)复合边的各边同时执行，也就是说不允许一部分先执行，然后等待事件发生，再执行其他部分。复合边同样可用ECA规则进行标记，规则如下: 　　(1)复合边的触发事件是复合边的一条边的触发事件。要求至少一条边存在触发事件; 　　(2)守卫条件是所有边的守卫条件的与; 　　(3)发送动作是各边的发送动作的并。 　　复合边的源节点为当执行复合边时所离开的非伪节点，而目的节点则为执行复合边而进入的非伪节点。我们把从这些源节点到目的节点的复合边当作一个转移，而这样的转移就称为一个有向超边(简称超边)。超边和边的区别在于超边可以存在多于一个的源节点或者目的节点，而边则只能有一个源节点和目的节点。因此，也可以认为边是一类特殊的超边，即超边的源节点和目的节点惟一。超边也用ECA规则标记，其标记方法为相应复合边的标记方法。 　　当我们将活动图中的边经过一定的运算，用超边代替之后，所得到的活动图就称为活动超图(简称超图)，也就是超图中的边均为超边。 　　 　　图3 化简规则示意（a） 　　 　　图3 化简规则示意（b） 　　 　　图3 化简规则示意（c） 　　 　　图3 化简规则示意（d） 　　 　　活动图到活动超图的映射分以下3步实现: 　　重写语法表达式 首先，对else用它所省略的表达式替代。其次，超边h的after(t)标签用after(h，t)表示，从而确保标签惟一。最后，离开活动节点a并且没有触发事件的边用term-1（a)标记。 　　删除层次结构 活动图中可以存在复合活动节点。而每一个活动节点可以分解到其所代表意义的活动图上。 　　我们要求该分解的嵌套传递是单向的。则使用复合活动节点n所代表的活动图替换n。相应活动图的初始和结束节点是或节点，可以如下方式删除:进入n的每一个复合边用离开初始节点的每一个复合边聚在一起;离开n的每一个复合边用进入结束节点的每一个复合边聚在一起。 　　计算超边 如前面边的定义所述，复合边是由与节点和或节点连接起来的边集，满足如下约束:如果在复合边ce的一条边进行或者离开一个与节点，则每一个离开或者进入该与节点的边都是ce的一部分;如果在复合边ce的一条边进行(离开)一个或节点，则在ce中存在一条边离开(进入)该或节点。 　　经过以上映射规则的处理，可以得到相应的活动超图，图2给出了图l所示的活动图的活动超图模型。 　　根据上述的转换规则，可以实现活动图到活动超图的转换。活动超图的建立，大大简化了活动图的结构，使得在活动超图中建模元素类型较少，同时去掉了层次结构，大大降