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

说明书

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

技术领域

本发明涉及一种工作网的系统流程错误检测技术领域，特别是涉及一种工作流网检验的异常片段提取方法、可读存储介质及终端。

背景技术

近年来，互联网的广泛应用使得工作流系统的业务流程设计已经成为各个组织和企业的重要技术。良好运行的系统，不仅要保证其功能的完整性和流畅性，满足用户对功能的需求，不会因为用户多种多样的操作导致系统崩溃和卡死，同时还要避免在运行过程中，由于数据本身的正确性问题(数据异常、被篡改)而导致的参与者双方利益受损的安全问题。所以，一个正确的工作流系统既要考虑逻辑结构，更要重视满足系统关于数据的功能需求，即数据约束。数据在系统中传输时要满足一定的数据约束，才能使系统正确的运行数据，在数据发生异常时可以及时作出反馈。我们建立了有关数据的数据和数据约束的工作流网(WFDC网)，通过这个模型模拟数据在网运行过程中的可能发生的情况，不仅更加详细的对数据属性进行刻画，而且扩展了广泛用于验证工作流系统正确性的合理性这一性质，使得新的合理性定义同时包含结构上的传统合理性验证和是否满足数据约束的验证，从两方面进行系统设计的错误检测。

以往针对工作流业务流程的错误检测有过一定的研究，包括模型检测，定理证明和形式化方法，例如原型Petri网、工作流网等。其中工作流网和其合理性分析作为一种全面的分析方法得到广泛应用。通过将工作流系统形式化，该方法不仅能够检测出系统的错误，并且能够保证系统完整流畅的正确运行。虽然这类研究进行结构上的分析，严格规定了工作流网中不能存在任何死锁、活锁和死变迁的情况，却忽视了线上运行时数据的参与而带来的问题，所以并不能用来为有数据参与的业务流程进行分析验证。而后来基于带有数据的工作流网(WFD网)的一系列研究，扩展了数据元素和对数据的读写等操作，但这些研究将数据作为一种抽象的对象，不考虑数据的实际赋值，对于数据是否存在篡改或是否满足需求等异常情况无法描述。不论是WF网或是WFD网，虽然他们能够验证系统是否正确，但对数据本身发生变化而引起的工作流数据异常却不可分析，已经不能完全满足用户对于系统数据约束的需求。并且相应的，在现有的研究中，缺乏从数据角度对工作流系统提供调整建议的研究。往往是只分析了工作流网是否满足合理性，判定了工作流系统是否存在问题。但是一个完整的工作流系统的错误检测结果，应该同时包含对错误的具体发生点，也就是系统的哪些部分存在潜在问题的展示。

发明内容

鉴于以上所述现有技术的缺点，本发明的目的在于提供一种工作流网检验的异常片段提取和方法、可读存储介质及终端，用于解决现有技术中工作流网的数据的值被篡改或误操作而导致的数据异常情况，而对应的异常片段无法精确获得的问题。