[发明专利]工作流互斥关系的校验方法、装置、设备及存储介质

权利要求书

1.一种工作流互斥关系的校验方法，其特征在于，所述工作流互斥关系的校验方法包括：

获取待校验的工作流各分支的表达式，所述表达式包括数学表达式和逻辑表达式；

根据预置互斥检验规则，判断各分支的表达式之间的关系是否存在互斥关系，其中，所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系；

若存在，则对各分支的表达式中相互存在互斥关系的表达式进行标记。

2.根据权利要求1所述的工作流互斥关系的校验方法，其特征在于，在所述获取待校验的工作流各分支的表达式之后，还包括：

提取各分支的表达式中的常量和变量；

根据所述变量，识别各分支表达式中存在相同变量的表达式，并提取存在相同变量的表达式之间的关系，生成校验表达式组合。

3.根据权利要求2所述的工作流互斥关系的校验方法，其特征在于，所述提取各分支的表达式中的常量和变量包括：

从工作流的分支中的各数学表达式中提取变量；

根据工作流各分支之间的逻辑表达式，确定各所述数据表达式中的相同的变量，并将所述相同的变量作为常量。

4.根据权利要求2所述的工作流互斥关系的校验方法，其特征在于，所述根据所述变量，识别各分支表达式中存在相同变量的表达式，并提取存在相同变量的表达式之间的关系，生成校验表达式组合包括：

基于所述常量、所述变量和所述关系，抽象出互斥校验关系式；

对所述互斥校验关系式进行拆分处理，得到校验表达式组合。

5.根据权利要求4所述的工作流互斥关系的校验方法，其特征在于，所述根据预置互斥检验规则，判断各分支的表达式之间的关系是否存在互斥关系包括：

对所述校验表达式组合中的每个校验表达式进行赋值计算，得到计算结果；

根据各校验表达式的计算结果，确定各计算结果之间的逻辑关系；

根据所述逻辑关系，判断所述各分支的表达式之间是否存在互斥关系。

6.根据权利要求5所述的工作流互斥关系的校验方法，其特征在于，所述根据所述逻辑关系，判断所述各分支的表达式之间是否存在互斥关系包括：

若所述逻辑关系为等于关系，且所述常量不相等，则各分支的表达式之间存在互斥关系；

若所述逻辑关系为不等于关系，且所述常量相等，则各分支的表达式之间存在互斥关系；

若所述逻辑关系中存在大于关系、不小于关系、不大于关系和小于关系中的任意两种组合，且所述组合中不同时包含等于，且所述常量为相等，则各分支的表达式之间存在互斥关系。

7.一种工作流互斥关系的校验装置，其特征在于，所述工作流互斥关系的校验装置包括：

获取模块，用于获取待校验的工作流各分支的表达式，所述表达式包括数学表达式和逻辑表达式；

判断模块，用于根据预置互斥检验规则，判断各分支的表达式之间的关系是否存在互斥关系，其中，所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系；

标记模块，用于在判断各分支的表达式之间的关系存在互斥关系时，对各分支的表达式中相互存在互斥关系的表达式进行标记。

8.根据权利要求7所述的工作流互斥关系的校验装置，其特征在于，所述工作流互斥关系的校验装置还包括提取模块，其具体用于：

提取各分支的表达式中的常量和变量；

根据所述变量，识别各分支表达式中存在相同变量的表达式，并提取存在相同变量的表达式之间的关系，生成校验表达式组合。

9.一种工作流互斥关系的校验设备，其特征在于，所述工作流互斥关系的校验设备包括：

存储器和至少一个处理器，所述存储器中存储有指令，所述存储器和所述至少一个处理器通过线路互连；

所述至少一个处理器调用所述存储器中的所述指令，以使得所述工作流互斥关系的校验设备执行如权利要求1-6中任一项所述的工作流互斥关系的校验方法的步骤。

10.一种计算机可读存储介质，所述计算机可读存储介质上存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现如权利要求1-6中任一项所述的工作流互斥关系的校验方法的步骤。