[发明专利]业务流程设计缺陷的检测方法、可读存储介质及终端

说明书

本发明提供一种业务流程设计缺陷的检测方法，包括：捕捉业务逻辑以及流程数据对业务活动的约束，构建系统中业务流程的WFD网模型；考虑流程数据的存储，利用数据库对系统持久层数据进行建模，基于数据库考虑业务活动执行受到的数据约束，构建系统中业务流程的WFT网模型；利用数据精炼技术对流程数据进行赋值；定义WFT的执行语义并生成可达配置图；基于一阶线性时序逻辑公式描述系统所要满足的数据需求，从业务逻辑和数据需求两个角度定义WFT网的合理性；通过在WFT网的可达图上验证网模型的合理性，判断业务流程是否存在设计缺陷。本发明解决了现有技术中系统在业务流程控制层逻辑正确的情况下，检测出引发数据层不合理的设计缺陷。

技术领域

本发明涉及一种工作网系统数据流错误检测的技术领域，特别是涉及一种业务流程设计缺陷的检测方法、可读存储介质及终端。

背景技术

近年来，信息技术的不断发展使得系统的业务流程或工作流设计成为各个组织与企业间的重要应用技术。设计良好的系统，不仅需要具备完善的业务功能(无业务死角等)及流畅的用户体验(无崩溃或卡死等)，而且还要避免由不正确的业务数据(不一致数据、缺失数据等)而引发的有损用户利益的安全问题。因此，系统的正确性不仅需要考虑业务逻辑，还需关注业务数据的功能需求，这些需求往往体现在用户数据值的变化上。数据在业务交互过程中也享有一定的约束条件，使得符合规范的数据才能被运行，而当数据值异常时可以及时得到反馈。我们建立了可以捕捉数据的值及其动态变化的形式化网模型(WFT网)，利用这个模型模拟数据在业务流程运行过程中的变化，不仅可以更加详细的描述数据的相关性质，还扩展了广泛用于验证系统业务流程正确性的合理性这一性质，使得新的合理性可以从业务逻辑的正确和数据需求的满足这两个方面来进行系统正确性的判断，同时也是业务流程设计缺陷的检测。

以往也有针对系统业务流程设计错误检测的方法研究，包括基于Petri网的方法、基于图论的方法、基于逻辑验证的方法以及基于本体论的方法。其中一类特殊的Petri网也就是工作流网(WF网)，其合理性分析作为一种全面的分析方法得到广泛应用。但是这些研究大部分都是基于业务逻辑层次的，所检测的也是系统运行有无死锁、活锁或死变迁，并没有考虑业务流程中数据所扮演的角色，进而忽视了流程运行时因数据参与而引发的问题。而事实上，数据是业务流程运行必不可少的部分，首先业务实例需要数据才能启动，并且业务活动的执行往往受到一定的数据约束，同时活动的执行也促使数据的演化(生成与消耗等)。介于上述这些形式化方法模型并不能将数据融入到业务流程的分析中，因此一些基于原网的扩展模型相继被提出，例如带有数据的工作流网(WFD网)和颜色工作流网(CWF网)，这些网模型考虑了流程运行过程中数据的变化及其对活动的路由控制。但是在这些网模型中，数据被高度抽象成定义或未定义，无法捕捉其具体赋值，对于数据值的变化及其本身需要满足的约束条件等情况无法描述，因此基于这些网模型的正确性验证、合理性分析依然只是针对业务逻辑层面的。总之，不论是工作流网还是其现有的扩展模型，虽然它们能够用来验证系统业务逻辑设计是否正确，但它们对于由数据值变化而引起的业务异常却不可分析，已经无法完全概述系统对于业务数据的功能需求。

发明内容

鉴于以上所述现有技术的缺点，本发明的目的在于提供本发明的一种业务流程设计缺陷的检测方法、可读存储介质及终端，用于解决现有技术中业务流程数据的值被篡改或不当操作而引起的系统数据需求不被满足的异常情况。

为实现上述目的及其他相关目的，本发明提供一种业务流程设计缺陷的检测方法，包括以下步骤：根据待测系统的业务流程，以及业务逻辑、流程数据及所述流程数据对业务活动的控制约束，构建成所述待测系统的WFD网；根据所述流程数据与数据库间的交互，在所述WFD网基础上构建所述待测系统的WFT网；根据所述WFT网的结构特征，以及所述数据库对所述流程数据的数据约束，利用数据精炼方法对所述待测系统的流程数据赋以具体值；根据数据精炼技术，将所述业务活动的使能条件和发生规则转换为所述WFT网的执行语义，生成可达配置图；根据所述WFT网，采用线性时序逻辑方法构建所述WFT网的合理性分析方法，判定所述WFT网的合理性，获得所述待测系统的合理性判定结果。