[发明专利]基于模型分解的分布式业务流程合规性检查方法与系统

权利要求书

1.基于模型分解的分布式业务流程合规性检查方法，其特征在于，包括以下步骤：

1)将过程模型视为有向图，生成候选分解对列表；

2)从候选分解对列表中获取有向图的可分解库所对；

3)利用可分解库所对将原有向图分解为子图；

4)迭代进行上述步骤1)-3)直至图不可分解，导出子图，即子模型；

5)在分布式平台spark上计算事件日志和所有子模型的合规性。

2.根据权利要求1所述的基于模型分解的分布式业务流程合规性检查方法，其特征在于，在步骤1)中，所述候选分解对是一个二元库所对，即(p_i,p_j)，满足库所p_i后集中的元素个数和库所p_j前集中的元素个数均大于或等于2，标识[p_i]和标识[p_j]均在过程模型的可达标识的集合中，并且不存在从标识[p_j]到标识[p_i]的变迁序列，其中p_i是分解的开始库所，p_j是分解的结束库所，将大型过程模型视为有向图，生成候选分解对列表，包括以下步骤：

1.1)将过程模型视为有向图，有向图中的顶点分别标记为变迁和库所，将所有出度大于或等于2的库所加入开始库所列表SL中，将所有入度大于或等于2的库所加入结束库所列表EL中；

1.2)删除开始库所列表SL和结束库所列表EL中所有存在自环的库所顶点；

1.3)对于列表SL中的每个库所s_i和列表EL中的每个库所e_i，将能够从库所s_i经过深度优先搜索到达库所e_i，从e_i经过深度优先搜索不能达到s_i的库所对(s_i,e_i)加入候选分解对列表RL中。

3.根据权利要求2所述的基于模型分解的分布式业务流程合规性检查方法，其特征在于，所述步骤2)包括以下步骤：

2.1)遍历候选分解对列表RL，从中选取最靠近有向图初始库所的分解开始库所s_i，获取s_i所在的所有候选分解对(s_i,e_i)的集合；

2.2)从分解开始库所s_i出发，对于每个e_i，通过广度优先搜索，查看s_i的所有分支是否在e_i处合并，能够合并则将s_i到e_i的距离长度记为d，获得候选分解对(s_i,e_i)，否则将候选分解对(s_i,e_i)从候选分解对列表RL中删除，重复进行上述步骤2.1)-2.2)；

2.3)设定阈值dis，若ddis则获得可分解库所对(s_i,e_i)，否则将分解候选对(s_i,e_i)从候选分解对列表RL中删除，并重复进行上述步骤2.1)-2.3)，直到找到符合要求的可分解库所对，如果没有可分解库所对，分解结束。

4.根据权利要求3所述的基于模型分解的分布式业务流程合规性检查方法，其特征在于，所述步骤3)包括以下步骤：

3.1)从原有向图g中去除步骤2)得到的所有可分解库所对(s_i,e_i)之间的所有顶点和弧，得到一个图rg；

3.2)对于图g中每个在s_i之后的变迁顶点t_i，使用广度优先搜索得到t_i和e_i之间的所有顶点和弧，得到图gf_i；

3.3)每个gf_i，通过其与rg的并集生成一个端到端的子图g_i，将子图g_i加入临时列表gs中；

3.4)将临时列表gs中的图g_i加入有序队列Q中，有序队列Q中的图按其所含变迁数目由大到小存储。