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

权利要求书

1.一种业务流程设计缺陷的检测方法，其特征在于，所述业务流程设计缺陷的检验方法包括以下步骤：

根据待测系统的业务流程，以及业务逻辑、流程数据及所述流程数据对业务活动的控制约束，构建成所述待测系统的WFD网；

根据所述流程数据与数据库间的交互，在所述WFD网基础上构建所述待测系统的WFT网；

根据所述WFT网的结构特征，以及所述数据库对所述流程数据的数据约束，利用数据精炼方法对所述待测系统的流程数据赋以具体值；

根据数据精炼技术，将所述业务活动的使能条件和发生规则转换为所述WFT网的执行语义，生成可达配置图；

根据所述WFT网，采用线性时序逻辑方法构建所述WFT网的合理性分析方法，判定所述WFT网的合理性，获得所述待测系统的合理性判定结果。

2.根据权利要求1所述的业务流程设计缺陷的检测方法，其特征在于，所述采用线性时序逻辑方法构建所述WFT网的合理性分析方法包括采用一阶线性时序逻辑的方法分别从控制流和数据流构建所述WFT网的合理性分析方法。

3.根据权利要求2所述的业务流程设计缺陷的检测方法，其特征在于，所述构建待测系统的WFT网的方法包括：

构建8元组的工作流网

其中，(P,T,F)为Petri网；

为有限的数据元素的集合；

为关系数据库，其中R₁,…,R_n分别表示单个数据模式；

为对所述数据元素集合中元素的操作集合，其中；

为对所述数据库的数据操作的集合；其中，Sel:表示变迁上检索数据库的标签函数；Ins:表示变迁上插入数据到数据库中的标签函数；Del:表示变迁上从数据库中删除元组的标签函数；Upd:表示变迁上更改数据库中元组的标签函数；

G:表示变迁上的守卫函数，其中表示守卫函数的集合，其内每个守卫函数是基于谓词集Π＝{π₁,…,π_n}上一个谓词表达式。

4.根据权利要求3所述的业务流程设计缺陷的检测方法，其特征在于，所述流程数据的赋值精炼，包括：

对所述WFT网N中的流程数据d，其值域为B_d，d在状态c下的赋值集合为V_d，计算所述数据库中与d相关的数据表的集合以及所述谓词集中与d相关的谓词的集合Π_d，并对所述和Π_d进行判定，包括：

若和Π_d都为空，那么从B_d中任选d₀添加到V_d；

若不为空且Π_d为空，则先将状态c下d在的每个表中的所有值添加到V_d，再从B_d\V_d中任选d₀添加到V_d；

若Π_d不为空且为空，则对Π_d中的每个谓词π_i进行判定，包括：

若V_d中的所有元素都不能使得π_i为真，则从B_d中选择一个能使得π_i为真的元素d_i，然后将d_i添加到V_d；

若V_d中的所有元素都不能使得π_i为假，则从B_d中选择一个能使得π_i为假的元素d′_i，然后将d′_i添加到V_d；

否则输出V_d。