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

摘要

本发明提供一种工作流网检验的异常片段提取方法，包括：构建模型初始WFD网，并生成数据约束；根据数据约束构成相应的约束分析模式，数据与正负约束的对应关系，以及约束和守卫函数取值的对应关系；生成WFDC网模型；生成带有数据约束的可达配置CDC图；根据WFDC网的网特征，定义WFDC网的多层次的合理性；根据WFDC网模型和多层次合理性，对网模型合理性层次的判定，得到检测结果，在检测结果为存在错误时，将所述可达配置CDC图转换为最小完全CDC树，并提取其中存在错误状态的异常路径；根据所提取的异常路径和数据约束特征，对异常路径的异常片段进行提取。本发明解决了现有技术中在系统出现检测结果故障的情况下，自动检测出异常的片段。

主权项

1.一种工作流网检验的异常片段提取方法，其特征在于，所述工作流网检验的异常片段提取方法包括以下步骤：根据待测工作流系统的流程图，构建模型初始WFD网，根据所述WFD网描述数据类型和活动；根据所述待测工作流系统的系统数据的功能需求生成数据约束，且所述数据约束转化为一元原子命题的集合，其中，每一个原子命题表示一个关于数据的约束；根据所述数据约束构成相应的数据约束分析模式，并给出正负约束的集合，数据与正负约束的对应关系，以及约束和守卫函数取值的对应关系；根据所构建的WFD网、所述数据约束以及所述数据约束分析模式，整合生成WFDC网模型；根据所生成的WFDC网模型以及预先定义的使能条件和发生规则，生成带有数据约束的可达配置CDC图，描述所述WFDC网模型运行的所有状态；根据WFDC网的网特征和数据特征，定义WFDC网的多层次的合理性，包含控制流和数据流方面；根据WFDC网模型和所定义的多层次合理性，通过控制流和数据流分别判定的方法，对WFDC网模型进行合理性层次的判定，得到检测结果；在所得到的检测结果为存在错误的情况下，将所述可达配置CDC图转换为最小完全CDC树；且根据所述最小完全CDC树进行路径分类，并提取其中存在错误状态的异常路径；根据所提取的异常路径和数据约束特征，对异常路径的异常片段进行提取。