[发明专利]工作流网检验的异常片段提取方法、可读存储介质及终端

权利要求书

1.一种工作流网检验的异常片段提取方法，其特征在于，所述工作流网检验的异常片段提取方法包括以下步骤：

根据待测工作流系统的流程图，构建模型初始数据工作流网(Workflow net withdata,WFD)：WFD网，根据所述WFD网描述数据类型和活动；

根据所述待测工作流系统的系统数据的功能需求生成数据约束，且所述数据约束转化为一元原子命题的集合，其中，每一个原子命题表示一个关于数据的约束；

根据所述数据约束构成相应的数据约束分析模式，并给出正负约束的集合，数据与正负约束的对应关系，以及约束和守卫函数取值的对应关系；

根据所构建的WFD网、所述数据约束以及所述数据约束分析模式，整合生成数据约束工作流网(Workflow net with data constraints,WFDC)模型：WFDC网；

根据所生成的WFDC网模型以及预先定义的使能条件和发生规则，生成带有数据约束的可达配置CDC图，描述所述WFDC网模型运行的所有状态；

根据WFDC网的网特征和数据特征，定义WFDC网的多层次的合理性，包含控制流和数据流方面；

根据WFDC网模型和所定义的多层次合理性，通过控制流和数据流分别判定的方法，对WFDC网模型进行合理性层次的判定，得到检测结果；

在所得到的检测结果为存在错误的情况下，将所述可达配置CDC图转换为最小完全CDC树；且根据所述最小完全CDC树进行路径分类，并提取其中存在错误状态的异常路径；

根据所提取的异常路径和数据约束特征，对异常路径的异常片段进行提取。

2.根据权利要求1所述的工作流网检验的异常片段提取方法，其特征在于，所述可达配置CDC图的生成，包括：

(21)将c₀作为根节点，并标记为新，其中，c₀为所述WFDC网模型中的一个配置序列；

(22)将WFDC网模型记为网N，若仍存在一个标记为新的节点，那么循环进行以下(23)(24)(25)(26)步骤，若不存在，则算法结束，输出结果；

(23)任意选择一个标记为“新”的节点，令其为所述WFDC网模型的配置c，进行判断，如果在从c₀到c的路径中已经存在一个相同状态的配置，那么将这个c删除，并将原指向c的箭头重新指向那个相同的配置，返回步骤(22)；如果不存在，那么继续执行步骤(24)；

(24)如果这个c不能够使任何变迁发生，即它是一个叶节点，那么如果配置c中的标识等于网N中的最终输出库所，即终止库所，标记c为“终止”节点，并返回步骤(22)；如果配置c中的标识不等于网N中的终止库所，那么标记c为“叶子”节点，并返回步骤(22)；

(25)如果这个c能够使变迁使能，即它存在后继，那么对于所有它能够使之发生的变迁t：计算变迁t产生的新的配置；若配置个数为1个，那么记录这个新的配置并且生成一个箭头从c指向在箭头上标上该变迁t，将标记为“新”；若配置个数为多个，那么记录这个新的配置集合C′，并且生成一个多头箭头从c指向集合中的每一个在箭头上标上该变迁t，将每个标记为“新”；

(26)更改c的标记为终止，返回步骤(22)。