CN101169845A - 一种工作流模型的校验方法和装置 - Google Patents

Abstract

本发明提供了一种对工作流模型进行校验的解决方案，具体可以包括：将待校验工作流模型转换为理想模型，所述理想模型中各个节点的出口连接弧和入口连接弧均不超过两根；遍历该理想模型中从开始节点到结束节点的所有路径，得到各条路径中的各个节点的出入口模式集合；判断各条路径中的出入口模式是否配对，如果各条路径都配对，则校验通过；否则，确定该工作流模型存在错误。本发明所提供的解决方案可以由计算机自动完成，不需要人工干预，并且通过增加理想模型转换的步骤，可以简化计算算法和提高校验的准确程度。其次，本发明简便(转换算法和路径计算算法简便)、快速(计算量小)，提高了校验效率。

Description

一种工作流模型的校验方法和装置

技术领域

本发明涉及信息处理技术领域，特别是涉及一种工作流模型的校验方法和装置。

背景技术

企业、政府机关等组织机构是一个复杂的系统，用过程的观点来看待这些组织机构，组织机构的组成元素就是过程，过程的组成元素就是活动；工作流模型就是对这些业务过程的抽象表示，用于描述工作流的各个元素及其关系。

组织机构的一个完整的业务流程是由一系列最基本的生产活动按照一定的逻辑顺序和规则组成的，这些生产活动与他们之间的逻辑关系可以直观的映射成为一个由节点和连接弧组成的有向图。有向图中的节点即表示一个可执行的活动单元，连接于两个节点之间的有向弧即表示活动间的先后顺序关系。

在基于有向图的工作流模型中有向图的节点可以代表具有如下特征的多种实体：1)与业务中实际存在的事件或活动有着直接的对应关系；2)本身有着具体的或人为定义的含义；3)能与其他节点形成一定的逻辑关系。

为了实现信息管理自动化以及提高工作效率，就需要先建立工作流模型。参见图1a和图1b，就是两种工作流模型的示意图。其中的1、2、3、4、5分别表示相关联系的5个节点。图1a和图1b的示意图中同时示出了节点间的连接模式。所述连接模式是指工作流活动的启动/结束连接模式，描述活动间的流转方式。所述连接模式包括And和Xor两种方式。And是指所有连接都流转，Xor表示仅一条满足条件的连接流转。

工作流建模是一种图型建模方式，除了需要保证基本的图的连通性外还需要保证流程语义的正确性，所以需要进行语义正确性校验。通常的校验方式是计算出入口的And和Xor的配对数量来进行校验。

例如，参照图1a所示的示意图，And和Xor不配对，则得知该工作流模型可能存在错误，具体分析可以得知，对于图1所示的工作流模型，活动5可能产生多例，而活动2、3、4却可能无法完成。

再例如，参照图1b所示的示意图，And和Xor也不配对，则得知该工作流模型可能存在错误，具体分析可以得知，对于图1b所示的工作流模型，活动5无法到达。

但是上述直接通过And和Xor的配对的方式来校验工作流模型，只能处理简单场景，针对复杂图形式就无法正确计算了。如图2，And的连接弧条数多于Xor，但是具体分析该工作流模型，却发现其实际上并没有错误，即现有的校验方法可能导致误差。

总之，目前需要本领域技术人员迫切解决的一个技术问题就是：如何能够创造性的提出一种工作流模型的校验解决方案，以提高校验的准确度。

发明内容

本发明所要解决的技术问题是提供一种工作流模型的校验方法和装置，通过等价模型转换的方式，可以简化匹配过程，可以实现对And和Xor配对的正确计算。

为了解决上述问题，本发明公开了一种工作流模型的校验方法，可以包括以下步骤：将待校验工作流模型转换为理想模型，所述理想模型中各个节点的出口连接弧和入口连接弧均不超过两根；遍历该理想模型中从开始节点到结束节点的所有路径，得到各条路径中的各个节点的出入口模式集合；判断各条路径中的出入口模式是否配对，如果各条路径都配对，则校验通过；否则，确定该工作流模型存在错误。

优选的，所述将待校验工作流模型转换为理想模型的具体转换方式可以包括：判断一节点的入口连接弧是否超过两根，如果是，则添加虚拟空节点；判断一节点的出口连接弧是否超过两根，如果是，则添加虚拟空节点。

优选的，所述判断配对的方式可以包括：计算Xor出口模式与Xor入口模式，And出口模式与And入口模式是否配对。

依据本发明的另一优选实施例，还公开了一种工作流模型的校验装置，可以包括以下部件：

理想模型转换模块，用于将待校验工作流模型转换为理想模型，所述理想模型中各个节点的出口连接弧和入口连接弧不超过两根；

路径遍历模块，用于遍历该理想模型中从开始节点到结束节点的所有路径，得到各条路径中的各个节点的出入口模式集合；

配对校验模块，用于判断各条路径中的出入口模式是否配对，如果各条路径都配对，则校验通过；否则，确定该工作流模型存在错误。

优选的，所述理想模型转换模块进一步包括：入口判断子模块，用于判断一节点的入口连接弧是否超过两根，如果是，则添加虚拟空节点；出口判断子模块，用于判断一节点的出口连接弧是否超过两根，如果是，则添加虚拟空节点。

优选的，所述判断配对的方式包括：计算Xor出口模式与Xor入口模式，And出口模式与And入口模式是否配对

与现有技术相比，本发明具有以下优点：

本发明所提供的解决方案可以由计算机自动完成，不需要人工干预，并且通过增加理想模型转换的步骤，可以简化计算算法和提高校验的准确程度。其次，本发明简便(转换算法和路径计算算法简便)、快速(计算量小)，提高了校验效率。

附图说明

图1a和图1b是现有的两种工作流模型的示意图；

图2是现有技术无法正确校验的另一种工作流模型的示意图；

图3是本发明一种工作流模型的校验方法实施例的步骤流程图；

图4和图5分别是一原工作流模型和转换后的理想工作流模型的示意图；

图6是另一种原工作流模型的示意图；

图7和图8分别是两种针对图6所示的原工作流模型转换后的理想工作流模型的示意图；

图9是又一种原工作流模型的示意图；

图10是针对图9所示的原工作流模型转换后的理想工作流模型的示意图；

图11是本发明一种工作流模型的校验装置实施例的结构框图。

具体实施方式

为使本发明的上述目的、特征和优点能够更加明显易懂，下面结合附图和具体实施方式对本发明作进一步详细的说明。

本发明可用于众多通用或专用的计算系统环境或配置中。例如：个人计算机、服务器计算机、手持设备或便携式设备、平板型设备、多处理器系统、基于微处理器的系统、包括以上任何系统或设备的分布式计算环境等等。

本发明可以在由计算机执行的计算机可执行指令的一般上下文中描述，例如程序模块。一般地，程序模块包括执行特定任务或实现特定抽象数据类型的例程、程序、对象、组件、数据结构等等。也可以在分布式计算环境中实践本发明，在这些分布式计算环境中，由通过通信网络而被连接的远程处理设备来执行任务。在分布式计算环境中，程序模块可以位于包括存储设备在内的本地和远程计算机存储介质中。

参照图3，示出了本发明一种工作流模型的校验方法实施例，具体可以包括以下步骤：

步骤301、将待校验工作流模型转换为理想模型，所述理想模型中各个节点的出口连接弧和入口连接弧均不超过两根；

步骤302、遍历该理想模型中从开始节点到结束节点的所有路径，得到各条路径中的各个节点的出入口模式集合；

步骤303、判断各条路径中的出入口模式是否配对，如果各条路径都配对，则校验通过；否则，确定该工作流模型存在错误。

步骤303用来计算XorSplit与XorJoin，AndSplit与AndJoin是否配对，即计算Xor出口模式与Xor入口模式，And出口模式与And入口模式是否配对。一般的，工作流模型的连接模式可以分为And和Xor两种模式，工作流模型的分支模式可以分为Join和Split，流程的入口模式为Join，出口模式为Split。所以，总的来说，工作流模型的出入口模式可以划分为以下四种：XorSplit与XorJoin，AndSplit与AndJoin，简写为XS，XJ，AJ，AS。

对于步骤301的理想模型转换过程，其具体转换方式可以采用如下的解决方案：判断一节点的入口连接弧是否超过两根，如果是，则添加虚拟空节点；以及判断一节点的出口连接弧是否超过两根，如果是，则添加虚拟空节点。通过对所述待校验工作流模型的各个节点进行上述判断之后，并相应添加所需的虚拟空节点之后，就可以将原工作流模型转换为本发明所需的理想模型，所述理想模型中各个节点的出口连接弧和入口连接弧不超过两根，即出口连接弧(入口连接弧)为一根或者两根。当然对于开始节点或者结束节点可能只有一条连接弧(出口或者入口)。

参照图4和图5，分别示出了原工作流模型和理想工作流模型的示意图，通过对比，可以发现，转换后的理想工作流模型中的各个节点(1、2、3、4、5以及两个虚拟空节点T1、T2)的出口连接弧没有超过两根，入口连接弧也没有超过两根。

参照图4和图5，其中的节点1有三个出口连接弧，超过两根，所以在节点1和节点2、3之间增加了一个虚拟空节点T1，增加节点T1之后的节点1的出口连接弧变为两根，符合要求，同时节点T1的入口连接弧为一根，出口连接弧为两根，也符合要求。同理，也可以增加虚拟空节点T2，完成对于节点5的转换。

具体过程可以参见如下伪码：

while(activities.hasNext())

{

tempActivity＝activities.next()；

  //入口连接弧

incomingTransitions＝tempActivity.get IncomingTransitions()；

  //出口连接弧

outgoingTransitions＝tempActivity.getOutgoingTransitions()；

  //如果入口连接弧超过两根则添加虚拟空节点，如下图节点5

if (incomingTransitions！＝null && incomingTransitions.size()＞2)

  {

     addVirtualPreRouterActivity(tempActivity)；

  }

    //如果出口连接弧超过两根则添加虚拟空节点，如下图节点1

if  (outgoingTransitions！＝null && outgoingTransitions.size()＞2)

  {

addVirtualPostRouterActivity(tempActivity)；

  }

}

当然，实际中的工作流模型可能较之图4和图5更为复杂，则理想模型的转换过程可能也会更加复杂，但是其基本原理和上述的是相似的。例如，在一个工作流模型中(参照图6)，节点1的出口连接弧有4个，分别和节点2、3、4、5相连(由于篇幅原因，后续的工作流节点及其连接弧没有示出，采用虚线代替)，则增加虚拟空节点的方式可能有以下两种，本领域技术人员根据需要设定即可。

第一种，参照图7，节点1仍然与节点5相连，而在节点1和节点2、3、4之间增加了两个虚拟空节点T1和T2。

第二种，参照图8，节点1分别通过两个虚拟空节点T1和T2与节点2、3、4、5相连。

实际上，可能还存在其他可能的虚拟空节点的增加方式，但是增加位置的不同，并不会影响本发明最终对出入口模式校验的准确性，所以本领域技术人员根据需要设定即可，在此就不一一详述了。

下面通过两个具体的例子对本发明作进一步的说明：

例1

参照图4，原始流程模型的出入口模式分别是AndSplit和AndJoin。参照图5，当转为理想模型后新增两个临时节点T1和T2，出入口模式也还是Andsplit和Andjoin，这样最后统计所有路径计算时，Andsplit的总和与AndJoin总和相同，说明是完全配对的。

例2

参照图9，节点1的出口模式是XorSplit，其他节点的出入口模式都是AndSplit和AndJoin。当然，在图9的示意图中，虽然节点2的出入口模式都是AndSplit和AndJoin，但是在图9中仅仅示出了一条入口连接弧和一条出口连接弧，这是为了简便说明，并没有示出完整的、复杂的工作流模型全图。

参照图10，当转换为理想模型后，新增加两个虚拟空节点T1、T2，T1继承节点1的出入口模式为XorJoin和XorSplit，T2继承节点2的出入口模式为AndJoin和AndSplit。

然后通过本发明遍历节点1到节点5的所有路径，当计算路径{节点1-节点T1-节点2-节点T2-节点5}时，得到的出入口模式集合为(XS，XJ，XS，AJ，AS，AJ，AS)，从而通过简单计算，就可以明确判定有一个XS未配对，所以错误。

参照图11，示出了一种工作流模型的校验装置实施例，具体可以包括以下部件：

理想模型转换模块1101，用于将待校验工作流模型转换为理想模型，所述理想模型中各个节点的出口连接弧和入口连接弧不超过两根；

路径遍历模块1102，用于遍历该理想模型中从开始节点到结束节点的所有路径，得到各条路径中的各个节点的出入口模式集合；

配对校验模块1103，用于判断各条路径中的出入口模式是否配对，如果各条路径都配对，则校验通过；否则，确定该工作流模型存在错误。其中，所述判断配对的方式可以包括：计算Xor出口模式与Xor入口模式，And出口模式与And入口模式是否配对。

优选的，所述理想模型转换模块1101进一步可以包括：入口判断子模块1104，用于判断一节点的入口连接弧是否超过两根，如果是，则添加虚拟空节点；出口判断子模块1105，用于判断一节点的出口连接弧是否超过两根，如果是，则添加虚拟空节点。

本说明书中的各个实施例均采用递进的方式描述，每个实施例重点说明的都是与其他实施例的不同之处，各个实施例之间相同相似的部分互相参见即可。对于装置实施例而言，由于其与方法实施例基本相似，是方法流程在功能模块上的固化，所以描述的比较简单，相关之处参见方法实施例的部分说明即可。

以上对本发明所提供的一种工作流模型的校验方法和装置，进行了详细介绍，本文中应用了具体个例对本发明的原理及实施方式进行了阐述，以上实施例的说明只是用于帮助理解本发明的方法及其核心思想；同时，对于本领域的一般技术人员，依据本发明的思想，在具体实施方式及应用范围上均会有改变之处，综上所述，本说明书内容不应理解为对本发明的限制。

Claims (6)

1.一种工作流模型的校验方法，其特征在于，包括：

将待校验工作流模型转换为理想模型，所述理想模型中各个节点的出口连接弧和入口连接弧均不超过两根；

遍历该理想模型中从开始节点到结束节点的所有路径，得到各条路径中的各个节点的出入口模式集合；

判断各条路径中的出入口模式是否配对，如果各条路径都配对，则校验通过；否则，确定该工作流模型存在错误。

2.如权利要求1所述的方法，其特征在于，所述将待校验工作流模型转换为理想模型的具体转换方式包括：

判断一节点的入口连接弧是否超过两根，如果是，则添加虚拟空节点；

判断一节点的出口连接弧是否超过两根，如果是，则添加虚拟空节点。

3.如权利要求1所述的方法，其特征在于，所述判断配对的方式包括：

计算Xor出口模式与Xor入口模式，And出口模式与And入口模式是否配对。

4.一种工作流模型的校验装置，其特征在于，包括：

理想模型转换模块，用于将待校验工作流模型转换为理想模型，所述理想模型中各个节点的出口连接弧和入口连接弧不超过两根；

路径遍历模块，用于遍历该理想模型中从开始节点到结束节点的所有路径，得到各条路径中的各个节点的出入口模式集合；

配对校验模块，用于判断各条路径中的出入口模式是否配对，如果各条路径都配对，则校验通过；否则，确定该工作流模型存在错误。

5.如权利要求4所述的装置，其特征在于，所述理想模型转换模块进一步包括：

入口判断子模块，用于判断一节点的入口连接弧是否超过两根，如果是，则添加虚拟空节点；

出口判断子模块，用于判断一节点的出口连接弧是否超过两根，如果是，则添加虚拟空节点。

6.如权利要求4所述的装置，其特征在于，所述判断配对的方式包括：计算Xor出口模式与Xor入口模式，And出口模式与And入口模式是否配对。

Images