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

摘要

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