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

说明书

本发明涉及人工智能技术领域，公开了一种工作流互斥关系的校验方法、装置、设备及存储介质，根据各分支的表达式提取出表达式之间的逻辑表达式，基于互斥检验规则对逻辑表达式进行检验，得到逻辑表达式的输出结果，从而基于输出结果确定互斥关系的表达式组合，并对相互互斥的表达式进行标记，这样的检验方式，与现有技术相比，不需要对每个表达式逐一进行赋值计算，直接从逻辑关系进行判断，大大减少了数据的计算量，提高了校验效率，同时实现了提前检验表达式的互斥，避免分支之间的规则配置的错误，避免了同时满足多个分支条件同时被满足而导致的配置错误。此外，本发明还涉及区块链技术，表达式等数据可存储于区块链中。

技术领域

本申请涉及人工智能技术领域，具体涉及一种工作流互斥关系的校验方法、装置、设备及存储介质。

背景技术

随着信息技术的发展，企业中采用业务管理流程来对各种业务进行统一管理，但是该业务管理流程的工作流想要实现不同业务或者是同一个业务的流程管理，则需要设置多个分支，而每个分支都设置有其对应的流转规则，不同分支之间可以并行，也不可互斥。

而目前，实现各分支的流转规则的检测，主要是通过设置判断表达式的方式来实现，但是在检验时，需要对表达式进行赋值，并且其赋值方式会穷举太多的可能值，这样的检验效率太低了，不利于推广应用。

发明内容

本发明的主要目的是为了解决现有的工作流中各分支之间的流转规则的检验实现难度大，导致检验效率低的技术问题。

本发明第一方面提供了一种工作流互斥关系的校验方法，所述工作流互斥关系的校验方法包括：

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

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

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

可选地，在本发明第一方面的第一种实现方式中，在所述获取待校验的工作流各分支的表达式之后，还包括：

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

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

可选地，在本发明第一方面的第二种实现方式中，所述提取各分支的表达式中的常量和变量包括：

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

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

可选地，在本发明第一方面的第三种实现方式中，所述根据所述变量，识别各分支表达式中存在相同变量的表达式，并提取存在相同变量的表达式之间的关系，生成校验表达式组合包括：

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

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

可选地，在本发明第一方面的第四种实现方式中，所述根据预置互斥检验规则，判断各分支的表达式之间的关系是否存在互斥关系包括：

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

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

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

可选地，在本发明第一方面的第五种实现方式中，所述根据所述逻辑关系，判断所述各分支的表达式之间是否存在互斥关系包括：