CN112529543A - 工作流互斥关系的校验方法、装置、设备及存储介质 - Google Patents
工作流互斥关系的校验方法、装置、设备及存储介质 Download PDFInfo
- Publication number
- CN112529543A CN112529543A CN202011577520.0A CN202011577520A CN112529543A CN 112529543 A CN112529543 A CN 112529543A CN 202011577520 A CN202011577520 A CN 202011577520A CN 112529543 A CN112529543 A CN 112529543A
- Authority
- CN
- China
- Prior art keywords
- expressions
- mutual exclusion
- relationship
- expression
- branches
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 230000007717 exclusion Effects 0.000 title claims abstract description 168
- 238000000034 method Methods 0.000 title claims abstract description 51
- 230000014509 gene expression Effects 0.000 claims abstract description 340
- 238000004364 calculation method Methods 0.000 claims abstract description 34
- 238000012795 verification Methods 0.000 claims abstract description 23
- 238000000605 extraction Methods 0.000 claims description 9
- 238000004590 computer program Methods 0.000 claims description 2
- 238000005516 engineering process Methods 0.000 abstract description 3
- 238000013473 artificial intelligence Methods 0.000 abstract description 2
- 238000001514 detection method Methods 0.000 description 8
- 238000010586 diagram Methods 0.000 description 8
- 238000007726 management method Methods 0.000 description 4
- 238000004422 calculation algorithm Methods 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000005540 biological transmission Effects 0.000 description 1
- 239000002131 composite material Substances 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 238000013500 data storage Methods 0.000 description 1
- 238000009795 derivation Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000002085 persistent effect Effects 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 230000001052 transient effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation; Time management
- G06Q10/103—Workflow collaboration or project management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
- G06Q10/063—Operations research, analysis or management
- G06Q10/0633—Workflow analysis
Landscapes
- Business, Economics & Management (AREA)
- Human Resources & Organizations (AREA)
- Engineering & Computer Science (AREA)
- Strategic Management (AREA)
- Entrepreneurship & Innovation (AREA)
- Economics (AREA)
- Tourism & Hospitality (AREA)
- Marketing (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Game Theory and Decision Science (AREA)
- Development Economics (AREA)
- Educational Administration (AREA)
- Data Mining & Analysis (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明涉及人工智能技术领域,公开了一种工作流互斥关系的校验方法、装置、设备及存储介质,根据各分支的表达式提取出表达式之间的逻辑表达式,基于互斥检验规则对逻辑表达式进行检验,得到逻辑表达式的输出结果,从而基于输出结果确定互斥关系的表达式组合,并对相互互斥的表达式进行标记,这样的检验方式,与现有技术相比,不需要对每个表达式逐一进行赋值计算,直接从逻辑关系进行判断,大大减少了数据的计算量,提高了校验效率,同时实现了提前检验表达式的互斥,避免分支之间的规则配置的错误,避免了同时满足多个分支条件同时被满足而导致的配置错误。此外,本发明还涉及区块链技术,表达式等数据可存储于区块链中。
Description
技术领域
本申请涉及人工智能技术领域,具体涉及一种工作流互斥关系的校验方法、装置、设备及存储介质。
背景技术
随着信息技术的发展,企业中采用业务管理流程来对各种业务进行统一管理,但是该业务管理流程的工作流想要实现不同业务或者是同一个业务的流程管理,则需要设置多个分支,而每个分支都设置有其对应的流转规则,不同分支之间可以并行,也不可互斥。
而目前,实现各分支的流转规则的检测,主要是通过设置判断表达式的方式来实现,但是在检验时,需要对表达式进行赋值,并且其赋值方式会穷举太多的可能值,这样的检验效率太低了,不利于推广应用。
发明内容
本发明的主要目的是为了解决现有的工作流中各分支之间的流转规则的检验实现难度大,导致检验效率低的技术问题。
本发明第一方面提供了一种工作流互斥关系的校验方法,所述工作流互斥关系的校验方法包括:
获取待校验的工作流各分支的表达式,所述表达式包括数学表达式和逻辑表达式;
根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系,其中,所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系;
若存在,则对各分支的表达式中相互存在互斥关系的表达式进行标记。
可选地,在本发明第一方面的第一种实现方式中,在所述获取待校验的工作流各分支的表达式之后,还包括:
提取各分支的表达式中的常量和变量;
根据所述变量,识别各分支表达式中存在相同变量的表达式,并提取存在相同变量的表达式之间的关系,生成校验表达式组合。
可选地,在本发明第一方面的第二种实现方式中,所述提取各分支的表达式中的常量和变量包括:
从工作流的分支中的各数学表达式中提取变量;
根据工作流各分支之间的逻辑表达式,确定各所述数据表达式中的相同的变量,并将所述相同的变量作为常量。
可选地,在本发明第一方面的第三种实现方式中,所述根据所述变量,识别各分支表达式中存在相同变量的表达式,并提取存在相同变量的表达式之间的关系,生成校验表达式组合包括:
基于所述常量、所述变量和所述关系,抽象出互斥校验关系式;
对所述互斥校验关系式进行拆分处理,得到校验表达式组合。
可选地,在本发明第一方面的第四种实现方式中,所述根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系包括:
对所述校验表达式组合中的每个校验表达式进行赋值计算,得到计算结果;
根据各校验表达式的计算结果,确定各计算结果之间的逻辑关系;
根据所述逻辑关系,判断所述各分支的表达式之间是否存在互斥关系。
可选地,在本发明第一方面的第五种实现方式中,所述根据所述逻辑关系,判断所述各分支的表达式之间是否存在互斥关系包括:
若所述逻辑关系为等于关系,且所述常量不相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系为不等于关系,且所述常量相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系中存在大于关系、不小于关系、不大于关系和小于关系中的任意两种组合,且所述组合中不同时包含等于,且所述常量为相等,则各分支的表达式之间存在互斥关系。
本发明第二方面提供了一种工作流互斥关系的校验装置,所述工作流互斥关系的校验装置包括:
获取模块,用于获取待校验的工作流各分支的表达式,所述表达式包括数学表达式和逻辑表达式;
判断模块,用于根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系,其中,所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系;
标记模块,用于在判断各分支的表达式之间的关系存在互斥关系时,对各分支的表达式中相互存在互斥关系的表达式进行标记。
可选地,在本发明第二方面的第一种实现方式中,所述工作流互斥关系的校验装置还包括提取模块,其具体用于:
提取各分支的表达式中的常量和变量;
根据所述变量,识别各分支表达式中存在相同变量的表达式,并提取存在相同变量的表达式之间的关系,生成校验表达式组合。
可选地,在本发明第二方面的第二种实现方式中,所述提取模块包括提取单元,其具体用于:
从工作流的分支中的各数学表达式中提取变量;
根据工作流各分支之间的逻辑表达式,确定各所述数据表达式中的相同的变量,并将所述相同的变量作为常量。
可选地,在本发明第二方面的第三种实现方式中,所述提取模块还包括抽象单元,其具体用于:
基于所述常量、所述变量和所述关系,抽象出互斥校验关系式;
对所述互斥校验关系式进行拆分处理,得到校验表达式组合。
可选地,在本发明第二方面的第四种实现方式中,所述判断模块包括:
第一计算单元,用于对所述校验表达式组合中的每个校验表达式进行赋值计算,得到计算结果;
第二计算单元,用于根据各校验表达式的计算结果,确定各计算结果之间的逻辑关系;
判断单元,用于根据所述逻辑关系,判断所述各分支的表达式之间是否存在互斥关系。
可选地,在本发明第二方面的第五种实现方式中,所述判断单元具体用于:
若所述逻辑关系为等于关系,且所述常量不相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系为不等于关系,且所述常量相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系中存在大于关系、不小于关系、不大于关系和小于关系中的任意两种组合,且所述组合中不同时包含等于,且所述常量为相等,则各分支的表达式之间存在互斥关系。
本发明第三方面提供了一种工作流互斥关系的校验设备,包括:存储器和至少一个处理器,所述存储器中存储有指令,所述存储器和所述至少一个处理器通过线路互连;
所述至少一个处理器调用所述存储器中的所述指令,以使得所述工作流互斥关系的校验设备执行上述的工作流互斥关系的校验方法的步骤。
本发明的第四方面提供了一种计算机可读存储介质,所述计算机可读存储介质中存储有计算机程序,当其在计算机上运行时,使得计算机执行上述的工作流互斥关系的校验方法的步骤。
本发明提供的技术方案中,根据各分支的表达式提取出表达式之间的逻辑表达式,基于互斥检验规则对逻辑表达式进行检验,得到逻辑表达式的输出结果,从而基于输出结果确定互斥关系的表达式组合,并对相互互斥的表达式进行标记,这样的检验方式,与现有技术相比,不需要对每个表达式逐一进行赋值计算,直接从逻辑关系进行判断,大大减少了数据的计算量,提高了校验效率,同时实现了提前检验表达式的互斥,避免分支之间的规则配置的错误,避免了同时满足多个分支条件同时被满足而导致的配置错误。
附图说明
图1为本发明实施例中工作流互斥关系的校验方法的第一个实施例示意图;
图2为本发明实施例中工作流互斥关系的校验方法的第二个实施例示意图;
图3为本发明实施例中工作流互斥关系的校验方法的第三个实施例示意图;
图4为本发明实施例中工作流互斥关系的校验方法的第四个实施例示意图;
图5为本发明实施例中的工作流的示意图;
图6为本发明实施例中工作流互斥关系的校验装置的一个实施例示意图;
图7为本发明实施例中工作流互斥关系的校验装置的另一个实施例示意图;
图8为本发明实施例中工作流互斥关系的校验设备的一个实施例示意图。
具体实施方式
针对于上述的缺陷,提出了一种工作流互斥关系的校验方法,具体是通过从当前的工作流中的各个分支中提取表达式,并将表达式转换为逻辑校验表达式组合,从而基于逻辑校验表达式组合进行互斥关系的校验,从而的得到工作流中各分支的互斥关系,这样的校验方式相对于现有技术来说,大大减少了赋值计算的计算量,提高了校验的效率。
本发明的说明书和权利要求书及上述附图中的术语“第一”、“第二”、“第三”、“第四”等(如果存在)是用于区别类似的对象,而不必用于描述特定的顺序或先后次序。应该理解这样使用的数据在适当情况下可以互换,以便这里描述的实施例能够以除了在这里图示或描述的内容以外的顺序实施。此外,术语“包括”或“具有”及其任何变形,意图在于覆盖不排他的包含,例如,包含了一系列步骤或单元的过程、方法、系统、产品或设备不必限于清楚地列出的那些步骤或单元,而是可包括没有清楚地列出的或对于这些过程、方法、产品或设备固有的其它步骤或单元。
为便于理解,下面对本发明实施例的具体流程进行描述,请参阅图1,本发明实施例中工作流互斥关系的校验方法的第一个实施例包括:
101、获取待校验的工作流各分支的表达式;
本实施例中,这里的工作流各分支的表达式指的是在同一个业务工作流中的不同分支的表达式,在实际应用中,对于个分支的表达式的获取,具体为首先根据工作流的创建规则对所述工作流进行解析,得到每个分支的完整流程代码和参数,基于完整流程代码和参数生成表达式,在所有分支的表达式完成转换后,将各表达式进行组合,得到表达式组合。
在实际应用中,所述表达式包括数学表达式和逻辑表达式,也即是在将每个分支转换为表达式后,还包括提取所述表达式中的数学参数和数学符号,基于这两者生成数学表达式,然后提取所述表达式中的逻辑符合以及逻辑判断条件,基于该逻辑符合和逻辑判断条件生成表达式之间的逻辑表达式。
102、根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系;
在该步骤中,所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系,所述互斥检验规则为检测工作流冲各个分之间存在互斥关系的判断规则,而互斥关系应当理解为是表达式之间不能同时或者并行执行,即是当工作流中存在一个参数,不能同时满足至少两个分支的执行条件。
在本实施例中,通过互斥检验规则,对所述各分支的表达式中的逻辑关系进行判断,识别表达式之间是否存在至少一个值同时让多个分支同时成立,或者是多个分支并行运行,若存在,则确定各分支表达式之间存在互斥关系;反之,则各个表达式之间不存在互斥关系。
在本实施例中,所述互斥检验规则还可以是交集检测规则,即是在判断各个分支表达式的互斥关系时,首先对各个表达的输出进行推演,形成范围结果,基于各个表达式的范围结果进行图形推演,识别推演到的图形中是否存在叫交集,若存在,则确定交集部分的表达式,从而得到互斥的检验结果。
在本实施例中,所述互斥检验规则还可以是逻辑检验规则,即是在判断各个分支表达式的互斥关系时,首先将各个分支的表达式中的逻辑符合以及逻辑符号后的成立条件提取出来,并对逻辑符号进行归类,然后识别不同类的逻辑符号之间的成立条件是否存在相同,若存在相同的,则相同成立条件中的不同逻辑符号进行集合图形的构建,若存在交集,则对应的表达式存在互斥关系;反之,则不存在互。
103、若存在,则对各分支的表达式中相互存在互斥关系的表达式进行标记。
本实施例中,在确定存在互斥关系后,还包括对存储互斥关系的表达式进行两两归类,即是对存在互斥关系的具体表达式进行提取归类,比如工作流中存在4个分支表达式,分别是表达式1、表达式2、表达式3和表达式4,其中在检测互斥关系时,确定表达式1、2和4之间存在互斥关系,在此基础上,需要进一步确定具体的两两表达式之间存在互斥,这时需要在其判断结果的基础上,提取存在互斥的表达式中的逻辑符号和判断参数,选择相同判断参数的表达式的逻辑符号进行交集计算,若存在交集,则将对应的表达式进行标记,例如表达式1和2的逻辑符号分别为“≤”和“≥”,判断条件均为A,这时,将“≤”和“≥”进行交集的计算,得到计算结果为存在交集“=”,则确定表达式1和2存在互斥,同时表达式1和4、表达式2和4的处理方式也是一样的,最后汇总结果,对存在互斥的表达式标记上相同的标号,比如表达式1和2表上“*”号,表达式1和4表上“#”等等。这样的标记使得配置人员可以快速地识别对应的分支参数进行修改,从而提高审核效率。
通过对上述提供的方法的执行,基于互斥检验规则对各分支的表达式中的逻辑关系进行互斥的校验,具体是从表达式之间的逻辑关系进行判断,从而大大提高的分支之间的关系的检验效率。
请参阅图2,本发明实施例中工作流互斥关系的校验方法的第二个实施例包括:
201、获取待校验的工作流各分支的表达式;
该步骤中,所述表达式包括数学表达式和逻辑表达式,其中,在获取所述数据表达式时,具体通过对工作流中每个分支进行参数的提取,并将参数根据分支中数据的计算规则生成数学表达式,而在获取所述逻辑表达式时,具体通过提取各分支之间的逻辑关系,基于逻辑关系形成整个工作流的逻辑表达式,同时还包括提取每个数学表达式中的各变量之间的关系,从而形成表达式中变量的逻辑表达式。
202、提取各分支的表达式中的常量和变量;
该步骤中的常量和变量的具体理解是:在同一个表达式中,其常量和变量的提取,具体可以从数值的角度进行提取,即是说表达式中表示为固定数值的元素,表示为取值不唯一的元素,从而得到表达式中的常量和变量。
而在不同的表达式中,其常量和变量的提取,其中常量可以按照上述的提取方式提取,此外,其上一表达式中的变量若在本表达式中存在时,则该变量为本表达式中的常量变量的提取算法以上述的变量提取方式相同。
203、根据变量,识别各分支表达式中存在相同变量的表达式,并提取存在相同变量的表达式之间的关系,生成校验表达式组合;
该步骤中,基于上述的提取得到的常量和变量,对表达式进行归类,存在相同参数的表达式组成一组,相同参数应当理解为是其中一个表达式的变量为其他表达式的常量或者变量的,属于关联表达式,同时具有相同变量的表达式也属于关联的表达式,基于该归类构建校验表达式组合。
204、根据预置互斥检验规则,判断校验表达式组合中各表达式之间的关系是否存在互斥关系;
205、若存在,则对各分支的表达式中相互存在互斥关系的表达式进行标记。
通过对上述方法的实施,通过提取工作流中各分支的表达式,对表达式中的变量、常量以及变量和常量之间的关系进行提取,形成校验表达式组合,基于校验表达式组合进行互斥的校验,得到校验结果,并根据校验结果对各分支的表达式进行标记,从而实现工作流互斥关系的快速校验,该方式不仅减少了校验的计算量,提高了校验效率,还实现了提前检验表达式的互斥,避免分支之间的规则配置的错误,避免了同时满足多个分支条件同时被满足而导致的配置错误。
请参阅图3,本发明实施例中工作流互斥关系的校验方法的第三个实施例包括:
301、获取待校验的工作流各分支的表达式;
302、提取各分支的表达式中的常量和变量;
该步骤中,在提取变量和常量时,具体是通过从工作流的分支中的各数学表达式中提取变量;
根据工作流各分支之间的逻辑表达式,确定各所述数据表达式中的相同的变量,并将所述相同的变量作为常量。
303、基于常量、变量和关系,抽象出互斥校验关系式;
该步骤中,所述关系指的是各个表达式的逻辑符号,基于逻辑符号构建简单的逻辑表达式,具体的首先将每个表达式中左右两侧的表达式进行简化处理,得到逻辑符号和单变量和单常量的简化表达式,待所有表达式转换完成后,将所有简化表达式中变量和常量相同的式子进行组合,形成互斥检验关系式。
304、对互斥校验关系式进行拆分处理,得到校验表达式组合;
在本实施例中,将每个组合的互斥检验关系式中的逻辑符号进行拆分,具体的判断组合中的每个表达式是否为复合型逻辑符号,例如“≥”,若是,则将所述逻辑符号进行拆分,得到多个表达式,然后,将所有的表达式重新组合,并识别变变量、常量和关系完全相同的表达式,并对相同的表达式进行组合标记,形成检验表达式组合。
305、根据预置互斥检验规则,判断校验表达式组合中各表达式之间的关系是否存在互斥关系;
该步骤中,该互斥检验规则可理解为是检验工作流中分支与分支之间是否存在成立条件相互重叠的参数检测或者逻辑检测规则,而通过判断校验表达式组合实现工作流各分支之间的互斥关系过程中,具体是对校验表达式组合中的各个表达式之间是否存在一个或者多个赋值使得对个表达式同时成立,优选的是通过检验规则对表达式中的变量的取值进行校验,得到是否存在重复的取值。
306、若存在,则对各分支的表达式中相互存在互斥关系的表达式进行标记。
通过对上述提供的方法的实施,通过从当前的工作流中的各个分支中提取表达式,并将表达式转换为校验表达式组合,从而基于校验表达式组合进行互斥关系的校验,从而的得到工作流中各分支的互斥关系,这样的校验方式相对于现有技术来说,大大减少了赋值计算的计算量,提高了校验的效率。
请参阅图4,本发明实施例中工作流互斥关系的校验方法的第四个实施例包括:
401、获取待校验的工作流各分支的表达式;
402、提取各分支的表达式中的常量和变量;
403、基于常量、变量和关系,抽象出互斥校验关系式;
404、对互斥校验关系式进行拆分处理,得到校验表达式组合;
405、对校验表达式组合中的每个校验表达式进行赋值计算,得到计算结果;
在实际应用中,所述计算结果为取值范围,具体通过对检验表达式组合中的每个校验表达式进行求导计算,得到一阶表达式,对一阶表达式进行赋值计算,得到表达式的最大值和最小值,基于最大值和最小值构建取值区间,得到就算结果。
406、根据各校验表达式的计算结果,确定各计算结果之间的逻辑关系;
具体的,将计算结果的取值区间进行集合图形的构建,例如基于数轴,将每个表达式的取值区间在数轴中表示出来,然后确定多个取值区间在数轴中的交集区间和交集所对应的取值区间,从而确定取值区间之间的逻辑关系,该逻辑关系可以理解为是不存在交集和存在交集两种中的其中一种,最后基于存在交集的取值区间确定对应的校验表达式。
407、根据逻辑关系,判断所述各分支的表达式之间是否存在互斥关系;
该步骤中,当逻辑关系为存在交集时,则说明对应的表达式之间存在互斥关系,反之,则为不存在互斥关系;
在实际应用中,所述根据所述逻辑关系,判断所述各分支的表达式之间是否存在互斥关系包括:
若所述逻辑关系为等于关系,且所述常量不相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系为不等于关系,且所述常量相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系中存在大于关系、不小于关系、不大于关系和小于关系中的任意两种组合,且所述组合中不同时包含等于,且所述常量为相等,则各分支的表达式之间存在互斥关系。
408、若存在,则对各分支的表达式中相互存在互斥关系的表达式进行标记。
在实际应用中,如图5所示,以某一节点的分支表达式为例进行说明,结合图来说,表达式一般就是一个逻辑判断,在工作流中根据上一个节点的运行结果跟预期值的比较是否成立决定之后的流程怎么走,age>=30就是一个最简单的表达式,age是节点A执行的输出结果,>=、<是关系,30是预期的值,实际应用中关系包括(关系表达式、逻辑表达式、以及简单的集合运算判断),具体实现方式是,所以的表达式都封装成了程序方法,上个节点运算结果和设置的预期值作为入参,调用方法得到判断结果。
这里都是简单的算术表达式,且表达式=常量+关系+变量,在本实施例的流程中变量都是由该表达式上一个节点运行输出的结果,关系为=,且常量不相等,则表达式互斥,如果常量相等,且关系配置没有边界重合则表达式互相互斥
举例 表达式1 age>30
表达式2 age=30
表达式3 age<30
通过上述方案的实施,根据各分支的表达式提取出表达式之间的逻辑表达式,基于互斥检验规则对逻辑表达式进行检验,得到逻辑表达式的输出结果,从而基于输出结果确定互斥关系的表达式组合,并对相互互斥的表达式进行标记,这样的检验方式实现了工作流配置分支流程时可能出现配置错误,导致多个分支条件同时被满足,为了解决配置错误,及早发现问题,需要在配置阶段校验分支是否满足互斥性。
上面对本发明实施例中工作流互斥关系的校验方法进行了描述,下面对本发明实施例中工作流互斥关系的校验装置进行描述,请参阅图6,本发明实施例中工作流互斥关系的校验装置的第一个实施例包括:
获取模块601,用于获取待校验的工作流各分支的表达式,所述表达式包括数学表达式和逻辑表达式;
判断模块602,用于根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系,其中,所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系;
标记模块603,用于在判断各分支的表达式之间的关系存在互斥关系时,对各分支的表达式中相互存在互斥关系的表达式进行标记。
在本实施例中,所述工作流互斥关系的校验装置运行上述工作流互斥关系的校验方法,该方法根据各分支的表达式提取出表达式之间的逻辑表达式,基于互斥检验规则对逻辑表达式进行检验,得到逻辑表达式的输出结果,从而基于输出结果确定互斥关系的表达式组合,并对相互互斥的表达式进行标记,实现了工作流配置分支流程时可能出现配置错误,导致多个分支条件同时被满足,为了解决配置错误,及早发现问题,需要在配置阶段校验分支是否满足互斥性。
请参阅图7,本发明实施例中工作流互斥关系的校验装置的第二个实施例,该工作流互斥关系的校验装置具体包括:
获取模块601,用于获取待校验的工作流各分支的表达式,所述表达式包括数学表达式和逻辑表达式;
判断模块602,用于根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系,其中,所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系;
标记模块603,用于在判断各分支的表达式之间的关系存在互斥关系时,对各分支的表达式中相互存在互斥关系的表达式进行标记。
在本实施例中,所述工作流互斥关系的校验装置还包括提取模块604,其具体用于:
提取各分支的表达式中的常量和变量;
根据所述变量,识别各分支表达式中存在相同变量的表达式,并提取存在相同变量的表达式之间的关系,生成校验表达式组合。
在本实施例中,所述提取模块604包括提取单元6041,其具体用于:
从工作流的分支中的各数学表达式中提取变量;
根据工作流各分支之间的逻辑表达式,确定各所述数据表达式中的相同的变量,并将所述相同的变量作为常量。
在本实施例中,所述提取模块604还包括抽象单元6042,其具体用于:
基于所述常量、所述变量和所述关系,抽象出互斥校验关系式;
对所述互斥校验关系式进行拆分处理,得到校验表达式组合。
其中,所述判断模块602包括:
第一计算单元6021,用于对所述校验表达式组合中的每个校验表达式进行赋值计算,得到计算结果;
第二计算单元6022,用于根据各校验表达式的计算结果,确定各计算结果之间的逻辑关系;
判断单元6023,用于根据所述逻辑关系,判断所述各分支的表达式之间是否存在互斥关系。
可选地,所述判断单元具体6023用于:
若所述逻辑关系为等于关系,且所述常量不相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系为不等于关系,且所述常量相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系中存在大于关系、不小于关系、不大于关系和小于关系中的任意两种组合,且所述组合中不同时包含等于,且所述常量为相等,则各分支的表达式之间存在互斥关系。
上面图6和图7从模块化功能实体的角度对本发明实施例中的工作流互斥关系的校验装置进行详细描述,下面从硬件处理的角度对本发明实施例中工作流互斥关系的校验设备进行详细描述。
图8是本发明实施例提供的一种工作流互斥关系的校验设备的结构示意图,该工作流互斥关系的校验设备800可因配置或性能不同而产生比较大的差异,可以包括一个或一个以上处理器(central processing units,CPU)810(例如,一个或一个以上处理器)和存储器820,一个或一个以上存储应用程序833或数据832的存储介质830(例如一个或一个以上海量存储设备)。其中,存储器820和存储介质830可以是短暂存储或持久存储。存储在存储介质830的程序可以包括一个或一个以上模块(图示没标出),每个模块可以包括对工作流互斥关系的校验设备800中的一系列指令操作。更进一步地,处理器810可以设置为与存储介质830通信,在工作流互斥关系的校验设备800上执行存储介质830中的一系列指令操作,以实现上述工作流互斥关系的校验方法的步骤。
工作流互斥关系的校验设备800还可以包括一个或一个以上电源840,一个或一个以上有线或无线网络接口850,一个或一个以上输入输出接口860,和/或,一个或一个以上操作系统831,例如Windows Serve,Mac OS X,Unix,Linux,FreeBSD等等。本领域技术人员可以理解,图8示出的工作流互斥关系的校验设备结构并不构成对本申请提供的工作流互斥关系的校验设备的限定,可以包括比图示更多或更少的部件,或者组合某些部件,或者不同的部件布置。
本发明所指区块链是分布式数据存储、点对点传输、共识机制、加密算法等计算机技术的新型应用模式。区块链(Blockchain),本质上是一个去中心化的数据库,是一串使用密码学方法相关联产生的数据块,每一个数据块中包含了一批次网络交易的信息,用于验证其信息的有效性(防伪)和生成下一个区块。区块链可以包括区块链底层平台、平台产品服务层以及应用服务层等。
本发明还提供一种计算机可读存储介质,该计算机可读存储介质可以为非易失性计算机可读存储介质,该计算机可读存储介质也可以为易失性计算机可读存储介质,所述计算机可读存储介质中存储有指令,当所述指令在计算机上运行时,使得计算机执行上述各实施例提供的工作流互斥关系的校验方法的步骤。
所属领域的技术人员可以清楚地了解到,为描述的方便和简洁,上述描述的系统,装置和单元的具体工作过程,可以参考前述方法实施例中的对应过程,在此不再赘述。
所述集成的单元如果以软件功能单元的形式实现并作为独立的产品销售或使用时,可以存储在一个计算机可读取存储介质中。基于这样的理解,本发明的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的全部或部分可以以软件产品的形式体现出来,该计算机软件产品存储在一个存储介质中,包括若干指令用以使得一台计算机设备(可以是个人计算机,服务器,或者网络设备等)执行本发明各个实施例所述方法的全部或部分步骤。而前述的存储介质包括:U盘、移动硬盘、只读存储器(read-only memory,ROM)、随机存取存储器(random access memory,RAM)、磁碟或者光盘等各种可以存储程序代码的介质。
以上所述,以上实施例仅用以说明本发明的技术方案,而非对其限制;尽管参照前述实施例对本发明进行了详细的说明,本领域的普通技术人员应当理解:其依然可以对前述各实施例所记载的技术方案进行修改,或者对其中部分技术特征进行等同替换;而这些修改或者替换,并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和范围。
Claims (10)
1.一种工作流互斥关系的校验方法,其特征在于,所述工作流互斥关系的校验方法包括:
获取待校验的工作流各分支的表达式,所述表达式包括数学表达式和逻辑表达式;
根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系,其中,所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系;
若存在,则对各分支的表达式中相互存在互斥关系的表达式进行标记。
2.根据权利要求1所述的工作流互斥关系的校验方法,其特征在于,在所述获取待校验的工作流各分支的表达式之后,还包括:
提取各分支的表达式中的常量和变量;
根据所述变量,识别各分支表达式中存在相同变量的表达式,并提取存在相同变量的表达式之间的关系,生成校验表达式组合。
3.根据权利要求2所述的工作流互斥关系的校验方法,其特征在于,所述提取各分支的表达式中的常量和变量包括:
从工作流的分支中的各数学表达式中提取变量;
根据工作流各分支之间的逻辑表达式,确定各所述数据表达式中的相同的变量,并将所述相同的变量作为常量。
4.根据权利要求2所述的工作流互斥关系的校验方法,其特征在于,所述根据所述变量,识别各分支表达式中存在相同变量的表达式,并提取存在相同变量的表达式之间的关系,生成校验表达式组合包括:
基于所述常量、所述变量和所述关系,抽象出互斥校验关系式;
对所述互斥校验关系式进行拆分处理,得到校验表达式组合。
5.根据权利要求4所述的工作流互斥关系的校验方法,其特征在于,所述根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系包括:
对所述校验表达式组合中的每个校验表达式进行赋值计算,得到计算结果;
根据各校验表达式的计算结果,确定各计算结果之间的逻辑关系;
根据所述逻辑关系,判断所述各分支的表达式之间是否存在互斥关系。
6.根据权利要求5所述的工作流互斥关系的校验方法,其特征在于,所述根据所述逻辑关系,判断所述各分支的表达式之间是否存在互斥关系包括:
若所述逻辑关系为等于关系,且所述常量不相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系为不等于关系,且所述常量相等,则各分支的表达式之间存在互斥关系;
若所述逻辑关系中存在大于关系、不小于关系、不大于关系和小于关系中的任意两种组合,且所述组合中不同时包含等于,且所述常量为相等,则各分支的表达式之间存在互斥关系。
7.一种工作流互斥关系的校验装置,其特征在于,所述工作流互斥关系的校验装置包括:
获取模块,用于获取待校验的工作流各分支的表达式,所述表达式包括数学表达式和逻辑表达式;
判断模块,用于根据预置互斥检验规则,判断各分支的表达式之间的关系是否存在互斥关系,其中,所述预置互斥检验规则用于校验各分支的表达式之间的互斥关系;
标记模块,用于在判断各分支的表达式之间的关系存在互斥关系时,对各分支的表达式中相互存在互斥关系的表达式进行标记。
8.根据权利要求7所述的工作流互斥关系的校验装置,其特征在于,所述工作流互斥关系的校验装置还包括提取模块,其具体用于:
提取各分支的表达式中的常量和变量;
根据所述变量,识别各分支表达式中存在相同变量的表达式,并提取存在相同变量的表达式之间的关系,生成校验表达式组合。
9.一种工作流互斥关系的校验设备,其特征在于,所述工作流互斥关系的校验设备包括:
存储器和至少一个处理器,所述存储器中存储有指令,所述存储器和所述至少一个处理器通过线路互连;
所述至少一个处理器调用所述存储器中的所述指令,以使得所述工作流互斥关系的校验设备执行如权利要求1-6中任一项所述的工作流互斥关系的校验方法的步骤。
10.一种计算机可读存储介质,所述计算机可读存储介质上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现如权利要求1-6中任一项所述的工作流互斥关系的校验方法的步骤。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011577520.0A CN112529543A (zh) | 2020-12-28 | 2020-12-28 | 工作流互斥关系的校验方法、装置、设备及存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011577520.0A CN112529543A (zh) | 2020-12-28 | 2020-12-28 | 工作流互斥关系的校验方法、装置、设备及存储介质 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN112529543A true CN112529543A (zh) | 2021-03-19 |
Family
ID=74976736
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202011577520.0A Pending CN112529543A (zh) | 2020-12-28 | 2020-12-28 | 工作流互斥关系的校验方法、装置、设备及存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN112529543A (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113240389A (zh) * | 2021-05-12 | 2021-08-10 | 网宿科技股份有限公司 | 工作流的创建方法、电子设备及存储介质 |
CN115878648A (zh) * | 2023-02-22 | 2023-03-31 | 成都成电医星数字健康软件有限公司 | 数据逻辑时序自动调整方法、装置、电子设备及存储介质 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101650799A (zh) * | 2009-09-08 | 2010-02-17 | 中国科学院计算技术研究所 | 业务流程间的不匹配交互的发现方法 |
CN107909490A (zh) * | 2017-11-22 | 2018-04-13 | 平安科技(深圳)有限公司 | 保险理赔案件互斥信息的确定方法及装置 |
CN110457490A (zh) * | 2019-08-15 | 2019-11-15 | 桂林电子科技大学 | 一种基于领域本体的语义工作流索引构造及检索方法 |
-
2020
- 2020-12-28 CN CN202011577520.0A patent/CN112529543A/zh active Pending
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101650799A (zh) * | 2009-09-08 | 2010-02-17 | 中国科学院计算技术研究所 | 业务流程间的不匹配交互的发现方法 |
CN107909490A (zh) * | 2017-11-22 | 2018-04-13 | 平安科技(深圳)有限公司 | 保险理赔案件互斥信息的确定方法及装置 |
CN110457490A (zh) * | 2019-08-15 | 2019-11-15 | 桂林电子科技大学 | 一种基于领域本体的语义工作流索引构造及检索方法 |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113240389A (zh) * | 2021-05-12 | 2021-08-10 | 网宿科技股份有限公司 | 工作流的创建方法、电子设备及存储介质 |
CN115878648A (zh) * | 2023-02-22 | 2023-03-31 | 成都成电医星数字健康软件有限公司 | 数据逻辑时序自动调整方法、装置、电子设备及存储介质 |
CN115878648B (zh) * | 2023-02-22 | 2023-05-05 | 成都成电医星数字健康软件有限公司 | 数据逻辑时序自动调整方法、装置、电子设备及存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110609759B (zh) | 一种故障根因分析的方法及装置 | |
CN106873957A (zh) | 一种业务流程的处理方法和设备 | |
CN113420537B (zh) | 电子表格数据处理方法、装置、设备及存储介质 | |
CN112529543A (zh) | 工作流互斥关系的校验方法、装置、设备及存储介质 | |
US20230156026A1 (en) | System and method of automatizing a threat analysis based on artificial intelligence | |
CN114880312A (zh) | 一种可柔性设置的应用系统业务数据稽核方法 | |
CN114238474A (zh) | 基于排水系统的数据处理方法、装置、设备及存储介质 | |
CN113779568A (zh) | 异常行为用户识别方法、装置、设备及存储介质 | |
CN116595918B (zh) | 快速逻辑等价性验证方法、装置、设备及存储介质 | |
CN113609216A (zh) | 基于区块链的产品质量诊断方法、装置、设备及存储介质 | |
CN115130043B (zh) | 基于数据库的数据处理方法、装置、设备及存储介质 | |
CN117435480A (zh) | 一种二进制文件检测方法、装置、电子设备及存储介质 | |
CN111708756A (zh) | 数据仓库自动化处理的方法、装置、设备及存储介质 | |
CN115147020B (zh) | 装修数据处理方法、装置、设备及存储介质 | |
CN113704624B (zh) | 基于用户分流的策略推荐方法、装置、设备及介质 | |
US20100070458A1 (en) | Rule creation method and rule creating apparatus | |
CN114398676A (zh) | 基于人工智能的数据安全分级方法、装置、设备及介质 | |
CN112667569B (zh) | 特征方法、系统、计算机设备及计算机可读存储介质 | |
US20230020719A1 (en) | Technology environment for a software application | |
CN109117202A (zh) | 一种设置审计型配置项的方法和系统 | |
CN114372290A (zh) | 企业元数据处理方法、装置、设备及存储介质 | |
CN105320562B (zh) | 一种基于作业特征指纹的分布式作业加速运行方法与系统 | |
CN114547590A (zh) | 代码检测方法、装置及非瞬时性计算机可读存储介质 | |
CN115049084B (zh) | 基于区块链的故障设备溯源方法、装置、设备及存储介质 | |
Kumar et al. | Requirements Engineering Process Model Add-On For Software Development |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination |