CN111260204A - 业务流程设计缺陷的检测方法、可读存储介质及终端 - Google Patents
业务流程设计缺陷的检测方法、可读存储介质及终端 Download PDFInfo
- Publication number
- CN111260204A CN111260204A CN202010032900.XA CN202010032900A CN111260204A CN 111260204 A CN111260204 A CN 111260204A CN 202010032900 A CN202010032900 A CN 202010032900A CN 111260204 A CN111260204 A CN 111260204A
- Authority
- CN
- China
- Prior art keywords
- data
- configuration
- wft
- network
- true
- 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
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/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
-
- 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/067—Enterprise or organisation modelling
-
- 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
Abstract
本发明提供一种业务流程设计缺陷的检测方法,包括:捕捉业务逻辑以及流程数据对业务活动的约束,构建系统中业务流程的WFD网模型;考虑流程数据的存储,利用数据库对系统持久层数据进行建模,基于数据库考虑业务活动执行受到的数据约束,构建系统中业务流程的WFT网模型;利用数据精炼技术对流程数据进行赋值;定义WFT的执行语义并生成可达配置图;基于一阶线性时序逻辑公式描述系统所要满足的数据需求,从业务逻辑和数据需求两个角度定义WFT网的合理性;通过在WFT网的可达图上验证网模型的合理性,判断业务流程是否存在设计缺陷。本发明解决了现有技术中系统在业务流程控制层逻辑正确的情况下,检测出引发数据层不合理的设计缺陷。
Description
技术领域
本发明涉及一种工作网系统数据流错误检测的技术领域,特别是涉及一种业务流程设计缺陷的检测方法、可读存储介质及终端。
背景技术
近年来,信息技术的不断发展使得系统的业务流程或工作流设计成为各个组织与企业间的重要应用技术。设计良好的系统,不仅需要具备完善的业务功能(无业务死角等)及流畅的用户体验(无崩溃或卡死等),而且还要避免由不正确的业务数据(不一致数据、缺失数据等)而引发的有损用户利益的安全问题。因此,系统的正确性不仅需要考虑业务逻辑,还需关注业务数据的功能需求,这些需求往往体现在用户数据值的变化上。数据在业务交互过程中也享有一定的约束条件,使得符合规范的数据才能被运行,而当数据值异常时可以及时得到反馈。我们建立了可以捕捉数据的值及其动态变化的形式化网模型(WFT网),利用这个模型模拟数据在业务流程运行过程中的变化,不仅可以更加详细的描述数据的相关性质,还扩展了广泛用于验证系统业务流程正确性的合理性这一性质,使得新的合理性可以从业务逻辑的正确和数据需求的满足这两个方面来进行系统正确性的判断,同时也是业务流程设计缺陷的检测。
以往也有针对系统业务流程设计错误检测的方法研究,包括基于Petri网的方法、基于图论的方法、基于逻辑验证的方法以及基于本体论的方法。其中一类特殊的Petri网也就是工作流网(WF网),其合理性分析作为一种全面的分析方法得到广泛应用。但是这些研究大部分都是基于业务逻辑层次的,所检测的也是系统运行有无死锁、活锁或死变迁,并没有考虑业务流程中数据所扮演的角色,进而忽视了流程运行时因数据参与而引发的问题。而事实上,数据是业务流程运行必不可少的部分,首先业务实例需要数据才能启动,并且业务活动的执行往往受到一定的数据约束,同时活动的执行也促使数据的演化(生成与消耗等)。介于上述这些形式化方法模型并不能将数据融入到业务流程的分析中,因此一些基于原网的扩展模型相继被提出,例如带有数据的工作流网(WFD网)和颜色工作流网(CWF网),这些网模型考虑了流程运行过程中数据的变化及其对活动的路由控制。但是在这些网模型中,数据被高度抽象成定义或未定义,无法捕捉其具体赋值,对于数据值的变化及其本身需要满足的约束条件等情况无法描述,因此基于这些网模型的正确性验证、合理性分析依然只是针对业务逻辑层面的。总之,不论是工作流网还是其现有的扩展模型,虽然它们能够用来验证系统业务逻辑设计是否正确,但它们对于由数据值变化而引起的业务异常却不可分析,已经无法完全概述系统对于业务数据的功能需求。
发明内容
鉴于以上所述现有技术的缺点,本发明的目的在于提供本发明的一种业务流程设计缺陷的检测方法、可读存储介质及终端,用于解决现有技术中业务流程数据的值被篡改或不当操作而引起的系统数据需求不被满足的异常情况。
为实现上述目的及其他相关目的,本发明提供一种业务流程设计缺陷的检测方法,包括以下步骤:根据待测系统的业务流程,以及业务逻辑、流程数据及所述流程数据对业务活动的控制约束,构建成所述待测系统的WFD网;根据所述流程数据与数据库间的交互,在所述WFD网基础上构建所述待测系统的WFT网;根据所述WFT网的结构特征,以及所述数据库对所述流程数据的数据约束,利用数据精炼方法对所述待测系统的流程数据赋以具体值;根据数据精炼技术,将所述业务活动的使能条件和发生规则转换为所述WFT网的执行语义,生成可达配置图;根据所述WFT网,采用线性时序逻辑方法构建所述WFT网的合理性分析方法,判定所述WFT网的合理性,获得所述待测系统的合理性判定结果。
于本发明的一实施例中,所述采用线性时序逻辑方法构建所述WFT网的合理性分析方法包括采用一阶线性时序逻辑的方法分别从控制流和数据流构建所述WFT网的合理性分析方法。
于本发明的一实施例中,所述构建待测系统的WFT网的方法包括:构建8元组的工作流网其中,(P,T,F)为Petri网;为有限的数据元素的集合;为关系数据库,其中R1,…,Rn分别表示单个数据模式;为对所述数据元素集合中元素的操作集合,其中;为对所述数据库的数据操作的集合;其中,Sel:表示变迁上检索数据库的标签函数;Ins:表示变迁上插入数据到数据库中的标签函数;Del:表示变迁上从数据库中删除元组的标签函数;Upd:表示变迁上更改数据库中元组的标签函数;G:表示变迁上的守卫函数,其中表示守卫函数的集合,其内每个守卫函数是基于谓词集Π={π1,…,πn}上一个谓词表达式。
于本发明的一实施例中,所述流程数据的赋值精炼,包括:对所述WFT网N中的流程数据d,其值域为Bd,d在状态c下的赋值集合为Vd,计算所述数据库中与d相关的数据表的集合以及所述谓词集中与d相关的谓词的集合Πd,并对所述和Πd进行判定,包括:若和Πd都为空,那么从Bd中任选d0添加到Vd;若不为空且Πd为空,则先将状态c下d在的每个表中的所有值添加到Vd,再从Bd\Vd中任选d0添加到Vd;若Πd不为空且为空,则对Πd中的每个谓词πi进行判定,包括:若Vd中的所有元素都不能使得πi为真,则从Bd中选择一个能使得πi为真的元素di,然后将di添加到Vd;若Vd中的所有元素都不能使得πi为假,则从Bd中选择一个能使得πi为假的元素d′i,然后将d′i添加到Vd;否则输出Vd。
于本发明的一实施例中,所述可达配置图的生成,包括:对所述WFT网N,给定起始配置c0,将c0作为可达配置图的根节点,并标记为新;对除所述根节点以外是否存在标记为“新”的其他节点进行检测,根据检测结果执行第一生成操作;其中,所述第一生成操作包括:若其他节点中均不包含标记为“新”的节点,则所述可达配置图生成结束,输出N的可达配置图RG(N);若存在标记为“新”的节点,任意选择一个“新”的节点,记为配置c,并在所述配置c下根据变迁的状态执行第二生成操作;其中,所述第二生成操作包括:若在配置c下,不存在任何变迁有发生权,则将c标记为“终止”节点,并继续对除所述根节点以外的其他节点进行检测,以及根据检测结果执行所述第一生成操作;若在配置c下,变迁t1,…,tn(n≥1)有发生权,对每个变迁ti(1≤i≤n)进行第三生成操作;其中,所述第三生成操作包括:根据发生规则计算发生ti后生成的新配置c1,…,cm(m≥1),对每个新配置ci(1≤i≤m),判断ti未发生前的配置图中是否已经存在该ci;若存在,那么将原本指向ci的箭头指向这个与ci相同的配置;若不存在,那么将ci记录到配置图中,且生成一个箭头从c指向ci,在箭头上添加标签t,并将ci标记为“新”;去掉配置c的“新”标记,并继续对除所述根节点以外的其他节点进行检测,以及根据检测结果执行所述第一生成操作。
于本发明的一实施例中,所述控制流正确性的判断方法,包括:在所述WFT网N的可达配置图RG(N)中,将连接所述根节点c0到单个所述终止节点cf的一条配置序列为N的一条执行路径,记为ρ:c0c1…cf,且将路径ρ中所有触发变迁构成的集合记为Tρ,令T为N的变迁集合;在默认循环只执行一次的情况下,基于RG(N)计算N所有可能的执行路径,依次记为ρ1,…,ρn,其中ρi:ci0ci1…cif(1≤i≤n),对每个ρi中的终止节点cif进行判断,包括:若配置cif中的标识为含有N中的非终止库所含有托肯,也就是cif不是N的终止配置,则设定N的控制流为不合理;若配置cif中的标识为有且仅有N中的终止库所含有托肯,也就是cif为N的终止配置,则记录将所有的并集与T进行比较;若两者相等,则设定N的控制流为合理;若两者不等,则设定N的控制流为不合理。
于本发明的一实施例中,所述数据流正确性的判定方法,包括:所述WFT网N需要满足的数据需求为集合Λ=(λ1,…,λm),其中λj为一阶线性时序逻辑公式;所述WFT网N的执行路径包括ρ1,…,ρn,对每个ρi:以及λj:按照如下步骤检测ρi是否满足λj:初始化与λj关联的流程数据元素构成的集合对每个基于N的可达配置图RG(N)计算djk的赋值集则得到公式λj中全局变量的赋值集合,记为对每个当赋值vj时,对路径ρi执行第一判定操作,用于判定所述路径ρi是否满足λj;其中,所述第一判定操作包括:λj:用迭代的方法可以逐层分解为其中分别为F(eventually),G(always),U(until),X(next)这四种时序操作中的一种, 分别为基于N中的数据库的命题;若k≥1,则根据的时序操作类型验证N在赋值vj时是否满足包括:若为F操作,即判断在配置是否为真;若为真,则设定N满足数据需求Λ=(λ1,…,λm);若不为真,则设定N不满足数据需求Λ=(λ1,…,λm);若为X操作,即对判断在配置ci,u+1是否为真;若为真,则设定N满足数据需求Λ=(λ1,…,λm);若不为真,则设定N不满足数据需求Λ=(λ1,…,λm);若为G操作,即判断在配置是否总是为真;若总是为真,则设定N满足数据需求Λ=(λ1,…,λm);若并不是总为真,则设定N不满足数据需求Λ=(λ1,…,λm);若为U操作,即判断是否存在使得在配置总是为真而在配置ciu不为真,并且在配置ciu不为真;若存在这样的ciu,则设定N满足数据需求Λ=(λ1,…,λm);若这样的ciu不存在,则设定N不满足数据需求Λ=(λ1,…,λm);令k=k-1,继续执行所述第一判定操作,直至k<1。
另外,本发明还提供一种终端,包括处理器及存储器,所述存储器用于存储程序指令,所述处理器用于执行所述存储器存储的程序,以使所述终端执行如上所述业务流程设计缺陷的检测方法中的步骤。
以及,本发明还提供一种可读存储介质,所述可读存储介质存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现如上所述业务流程设计缺陷的检测方法中的步骤。
如上所述,本发明的一种业务流程设计缺陷的检测方法、可读存储介质及终端,具有以下有益效果:
通过对待测系统构建带数据表操作的工作流网模型,即WFT网,可实现系统业务流程中的流程数据与底层数据库进行交互操作,以及基于数据库延伸定义业务活动受到的数据约束;并且,基于利用精炼技术构建所述系统新的发生规则并生成新的带有数据状态的配置图,实现了用工作流网标识和相关的数据及数据表的状态来刻画不同精炼值下的数据在所述工作流网中运行时的状态;同时,将系统需要满足的数据需求表达成一阶线性时序逻辑公式,构建了系统的合理性判定方法,实现了从业务流程的控制流和数据流两方面对系统流程合理性的判定,能够较详细地对系统业务流程的设计错误类别进行归类和检测,将本发明实施例应用在复杂的系统中,减少错误检查的人工成本和时间成本。
附图说明
图1显示为本发明提供的业务流程设计缺陷的检测方法于一实施例中的主要思想示意图。
图2显示为本发明提供的业务流程设计缺陷的检测方法于一实施例中的流程示意图。
图3显示为本发明实施例车辆出入证申请工作流系统图。
图4显示为本发明实施例车辆出入证申请系统的WFT网模型图。
图5显示为本发明实施例车辆出入证申请系统的WFT网可达配置图。
元件标号说明
S201~S205 步骤
具体实施方式
以下通过特定的具体实例说明本发明的实施方式,本领域技术人员可由本说明书所揭露的内容轻易地了解本发明的其他优点与功效。本发明还可以通过另外不同的具体实施方式加以实施或应用,本说明书中的各项细节也可以基于不同观点与应用,在没有背离本发明的精神下进行各种修饰或改变。需说明的是,在不冲突的情况下,以下实施例及实施例中的特征可以相互组合。
需要说明的是,以下实施例中所提供的图示仅以示意方式说明本发明的基本构想,遂图式中仅显示与本发明中有关的组件而非按照实际实施时的组件数目、形状及尺寸绘制,其实际实施时各组件的型态、数量及比例可为一种随意的改变,且其组件布局型态也可能更为复杂。
本发明提供的所述业务流程设计缺陷的检测方法,通过对待测系统进行工作流网建模及对所述工作流网合理性分析,并且基于系统的流程数据和持久层数据将业务流程运行过程中业务活动执行受到的数据约束条件考虑到系统模型中以及对所述系统模型的合理性定义中,从而对系统中业务活动的运行和数据的特征属性进行刻画和分析,以此来判断所述待测系统的业务流程是否存在设计错误。
参阅图1,为所述业务流程设计缺陷的检测方法主要思想,包括:将所述待测系统和所述待测系统的业务数据的功能需求采用形式化方法作构建为WFD网模型,在所述待测系统的WFD网模型基础上增加了流程数据与数据库的交互访问操作,并基于数据库延伸定义所述WFD网模型中的业务活动受到的数据约束;将得到的业务逻辑层、流程数据层、持久数据层以及数据约束进行融合后得到WFT网模型;基于所述WFT网模型生成可达配置图,将所述待测系统需要满足的业务数据的功能需求转化成对应的一阶线性时序逻辑公式,分别从控制层和数据层构建合理性分析方法,基于所述合理性分析方法对所述待测系统级进行合理性判定,得到系统是否正确的判断结果。
本发明提供的所述业务流程设计缺陷的检测方法,通过在设计阶段检测系统是否存在控制层和/或数据层的漏洞,从而保证检测后的系统能同时满足逻辑正确和数据正确性的要求。例如,在设计阶段检测系统的输入数据是否缺少数据数值的验证环节,如是则会导致系统数据无法满足要求。
请参阅图2,本发明提供一种检测业务流程设计缺陷的方法的流程示意图,包括如下步骤:
S201,根据所述待测系统的业务流程,获取业务逻辑、流程数据及所述业务逻辑与流程数据分别对业务活动的控制约束,构建与所述待测系统对应的WFD网模型。
需要说明的是,所述待测系统为需要进行检测的系统;所述待测系统中的流程数据包含了数据约束。以待检测的报销系统为例,对于报销流程中的审批环节,只有部分员工才具有审批权限,因此,在此流程中具有审批权的人员总数就是一种数据约束。
根据现有的系统模型构建方法,建立所述待测系统的数据工作流网,即WFD网,用于反映所述待测系统中业务流程的流向。
具体的,所述系统模型构建方法包括Petri网。需要说明的是,一个Petri网O=(P,T,F)由三种元素构成:一个有限的库所集合P,一个有限的变迁集合T(即P和T的交集为空)和一个流关系集合令x∈P∪T,则节点x的前集和后集可以分别表示为和x·={y∈P∪T|(x,y)∈F}。如果一个库所p∈P满足则称该p为初始库所;同理,如果p满足则称该p为终止库所。我们在库所中添加黑色圆点来描述流程运行所达的阶段状态,并称这样的黑色圆点为托肯。一个Petri网在某一时刻的运行状态,称为一个标识;所述标识表示网中所有库所的托肯分布,且是一个由当前状态下包含托肯的库所构成的多重集,可形式化为一个映射M:其中,M为所述标识,为非负整数集。例如,M=[3p1+2p3]表示当前标识下只有库所p1中有3个托肯,库所p3中有2个托肯,且其余库所中都不含托肯。所述标识可以进行数学中的加、减和比较操作。例如,对如上所述M=[3p1+2p3]中的所述标识M的操作包括:M≤[4p1+5p3]≤[4p1+p2+5p3]或M+[p1+3p3]=[4p1+5p3]。
如果对一个变迁t∈T,在标识M下t的每个前集库所都至少含有一个托肯,即M≥·t,则称t在标识M可以使能,表示为M[t>。变迁t发生之后将生成了一个新的标识M′,则有M′=M-·t+t·,这一过程可以被表示为M[t>M′。若标识M在经过一个变迁序列发生后生成了新的标识M″,则这一过程可以被表示为M[*>M″,我们称M″由M可达,表示为M″∈R(M)。
于本实施中,基于所述Petri网技术构建所述数据工作流网,即WFD网。所述WFD网为一个8元组的数据工作流网其中,(P,T,F)是一个Petri网;是一个有限的数据元素的集合;rd:表示变迁上读数据的第一标签函数,wt:表示变迁上写数据的第二标签函数,dt:表示变迁上删除数据的第三标签函数;grd:表示变迁上的守卫函数;其中,为守卫函数集合,所述守卫函数集合内的每个守卫函数是基于所述谓词集合Π={π1,…,πn}上一个谓词表达式。
S202,根据所述待测系统中的流程数据与数据库间的数据交互,在已有的所述WFD网的基础上构建所述待测系统的WFT网模型。
其中,所述数据库为关系数据库,即采用关系数据库对所述流程数据进行存储,形成所述待测系统的数据库。
所述关系数据库采用数据模式和数据表进行表达,以方便所述关系数据库的形式化表达。所述数据模式采用一3元组表示,即:
R=(U,V,DOM)
其中,R表示一个数据模式,U是一个有限的属性集合,且存在一个唯一的特殊属性I∈U称为标识属性;V表示U中属性的值域集合;DOM:U→V为属性到值域的映射。
令R′=(U′,V′,DOM′)是所述数据模式的一个实例,其中U′={u1,…,ul},V′={V1,…,Vn},u1表示所述属性集合中的的单个标识属性,所述V1表示所述值域中的单个属性值。属性u1,…,ul的值域构成的笛卡尔积的一个元素为一个元组,表示为r。r[ui]表示元组r中属性ui的值。
因此,数据模式这样的一个实例可以视为一个行和列分别对应元组和属性的二维表,可以表示为R′(u1,…,ul),其中u1为标识属性,表R′中的任意两个元组的标识属性u1对应的值都不能相等。所述关系数据库通过形式化方法可以转化成有限的数据表。对所述数据表的数据操作类型有四种,分别为:检索、插入、更新和删除。
其中,(P,T,F)是一个Petri网;是一个有限的数据元素的集合;表示一个关系数据库,其中R1,…,Rn分别表示单个数据模式,即为n个数据表;表示对所述数据元素集合中元素的三种数据元素操作,即所述WFD网中的三种标签函数;表示对所述关系数据库的数据操作的集合;其中,Sel:表示变迁上检索数据库的标签函数,用于检索表中的元组和属性;Ins:表示变迁上插入数据到数据库中的标签函数,用于将新的元组添加到表中;Del:表示变迁上从数据库中删除元组的标签函数,值得注意的是删除操作从表中删除的是元组并不是某个属性的值;Upd:表示变迁上更改数据库中元组的标签函数,用于更改元组中的属性值;G:表示变迁上的守卫函数,其中表示守卫函数的集合,其内每个守卫函数是基于谓词集Π={π1,…,πn}上一个谓词表达式。
S203,根据生成的所述WFT网的结构特征,以及所述数据库对所述流程数据的数据约束,利用数据精炼技术对流程数据赋值。
其中,所述数据精炼技术为一种形式化方法,可以将处于被定义状态但不赋予具体值的抽象数据用与之行为对应的具体数据值来替代。
具体的,采用所述数据精炼技术对所述流程数据赋值包括:
(21)对所述WFT网N中流程数据d,其值域为Bd,d在状态e下的赋值集合为Vd(初始化为空),计算所述数据库中与d相关的数据表的集合以及所述谓词集合中与d相关的谓词的集合Πd,并对所述和Πd进行判定,包括:
(232)若Πd不为空,对Πd中的每个谓词πi,继续以下(2321~2322)步骤;
(2321)若Vd中的所有元素都不能使得πi为真,则从Bd中选择一个能使得πi为真的元素di,然后将di添加到Vd;
(2322)若Vd中的所有元素都不能使得πi为假,则从Bd中选择一个能使得πi为假的元素di′,然后将di′添加到Vd;
(24)输出Vd。
由于WFT网为概念模型,与WFD网模型类似,其流程数据元素依然是高度抽象的,所述流程数据元素只分为定义的和未定义的两种,无法捕捉数据元素的具体值;但是WFT网的运行路径是根据数据元素的值而决定的,因此,本发明采用数据精炼技术对所述流程数据元素进行赋值,从而实现对所述流程数据元素的数值的进一步细化。
进一步的,为适配所述待测系统业务流程所有的运行的情况,根据当前数据库的实时状态以及与该数据元素相关的谓词来对所述流程数据元素进行赋值。
在具体实现时,所述流程数据元素的赋值必须基于所述数据库在当前状态下是否存储有数据,以及要保证每个与之相关的谓词都可以赋值为真或假。
S204,利用所述数据精炼技术,将所述活动的使能条件和发生规则转换为所述WFT网的执行语义,生成可达配置图;所述可达配置图覆盖WFT网所有可能的运行状态。
具体的,所述可达配置图的生成方法,包括:
(31)对所述工作流网N,将给定起始配置c0,将c0作为可达配置图的根节点,并标记为新;
(32)对除所述根节点以外是否存在标记为“新”的其他节点进行检测,根据检测结果执行第一生成操作,即步骤(321~322);
所述第一生成操作包括:
(321)若存在其他标记为“新”的节点,任意选择一个“新”的节点,记为配置c,并在所述配置c下根据变迁的状态执行第二生成操作,即步骤(3211~3212);
(322)若不存在,则生成结束,输出所述工作流网N的可达配置图RG(N);
所述第二操作包括:
(3211)若在配置c下,不存在任何变迁有发生权,则将c标记为“终止”节点,并返回步骤(32);
(3212)若在配置c下,变迁t1,…,tn(n≥1)有发生权,对每个变迁ti(1≤i≤n)进行第三生成操作,即步骤(3212a~3212b);
所述第三生成操作包括:
(3212a)根据发生规则计算发生ti后生成的新配置c1,…,cs(s≥1),对每个新配置ci(1≤i≤s),判断ti未发生前的配置图中是否已经存在该ci;
若存在,那么将原本指向ci的箭头指向这个与ci相同的配置;
若不存在,那么将ci记录到配置图中,且生成一个箭头从c指向ci,在箭头上添加标签t,并将ci标记为“新”;
(3212b)去掉配置c的“新”标记,返回步骤(32)。
于本实施例中,对于所述工作流网N,令c=(m,θ,ω,σ)为所述工作流网N的一个配置,即所述工作流网N的一个状态。其中,m是所述工作流网N的一个标识,代表所述工作流网N的库所中托肯的分布;θ:表示所述流程数据元素集中每个元素d的状态,对于每个所述流程数据元素有两种状态,即T(已定义),⊥(未定义);ω:表示所述数据库中每个所述关系表R的状态,即(已定义),⊥(未定义);σ:Π→{true,false,⊥}表示所述谓词集中每个谓词π的状态,,即true(值为真),false(值为假)和⊥(未定义)。另外,η:表示每个所述守卫函数可能有三种状态,即true(值为真),false(值为假)和⊥(未定义)。
构建所述工作流网N的变迁使能条件和发生规则。其中,所述变迁使能条件,即:
对于一个配置c和当前的变迁t∈T,t在c下有发生权当且仅当以下条件:
(1)c中的标识m满足m[t>;
(2)每个被t读的数据元素、每个与t相关的数据表都必须被定义;
(3)t上的守卫函数的值为真。变迁t被触发后将产生新的配置。
其中,所述新配置的产生规则,即:对于配置c=(m,θ,ω,σ)和当前的变迁t∈T,如果t被触发且产生了一个配置集合C′,那么新的C′依据以下产生规则生成:
(1)m的变化:m[t>m′,即配置中的标识由m转变为新的标识m′;
(2)流程数据元素d的值的变化,即由θ(d)转变为θ′(d),包括:
(2a)如果d被t删除,则θ′(d)=⊥;
(2c)如果d最多只被t读,则θ′(d)=θ(d)。
(3)数据表的状态ω(R′)的变化,包括:
(3a)如果t仅在R′中检索数据,则ω′(R′)=ω(R′);
(3b)如果t往R′中插入元组,那么令这些元组构成的集合表示为ins(R′),则ω′(R′)=ω(R′)∪ins(R′);;
(3c)如果t将R′中部分元组删除,那么令被删除的元组构成的集合表示为del(R′),则ω′(R′)=ω(R′)\del(R′);
(3d)如果t对R′中的部分元组进行了更改,且将更改前与更改后的这些元组构成的集合分别表示为upd(R′)和upd(R′)′,则ω′(R′)=ω(R′)\upd(R′)∪upd(R′)′。
(4)谓词的值σ′(π)的变化,包括:
(4a)如果与π相关的某个数据元素被t删除后并未再写,则σ′(π)=⊥;
(4b)如果与π相关的每个数据元素和数据表在t发生后都被定义,则σ′(π)=true或者fasle;
(4c)如果每个与π相关的数据元素最多只被t读,且每个与π相关的数据表最多只被t检索,则σ′(π)=σ(π)。
令c和c′是所述工作流网N的两个配置,C和C′是所述工作流网N的两个配置集合,设置所述工作流网N的可达性如下:
如果当且仅当存在一个t∈T,使得c[t>C,则称从c到C存在一个“必然-步”,用c→must C表示;
如果c→must C且c′∈C,则称从c到c′存在一个“可能-步”,用c→may c′表示;
因此,利用所述数据精炼方法,通过设定变迁使能条件和发生规则,生成WFT网的可达配置图,可以描述不同的流程数据的值在工作流网运行时的状态。
S205,根据生成的所述WFT网,采用线性时序逻辑方法构建所述WFT网的合理性分析方法,并对所述WFT网进行合理性判定,获取合理性判定结果。
其中,所述合理性分析包括对所述WFT网的控制流和数据流的合理性分析;所诉合理性判定结果包括控制流和数据流的合理性判定结果,从而检测系统在业务流程中的设计缺陷。
进一步的,所述业务流程设计缺陷包括针对系统业务流程规定需要满足的数据需求,在基于数据精炼考虑所生成的WFT网模型所有可能运行路径的情况下,如果存在某些路径,到达不了最终状态或者不满足所有的数据需求,则说明系统业务流程的设计存在缺陷。
进一步的,将所述系统业务数据的功能需求转换为一阶线性时序逻辑公式,并从控制流和数据流两个方面定义所述WFT网的合理性。
需要说明的是,一阶线性时序逻辑公式,即LTL-FO公式,是基于线性时序逻辑公式(即LTL公式)的扩展,通过将基于数据库表上的无量词一阶语句添加到LTL公式得到LTL-FO公式。对于所述工作流网N,一个基于数据库的FO公式是一个无量词一阶语句;具体的,一个基于上的LTL-FO公式可以表达为其中:是一个基于原子命题集Ψ上的一个LTL公式;f是从Ψ到基于的FO公式的一个映射;将中的每个命题q∈Ψ替换成f(q),可得到是出现在中的全局变量的集合。将系统业务数据需要满足的功能需求表达成LTL-FO公式集Λ={λ1,…,λn},其中λi:此即为该系统对应的所述WFT网需要满足的数据需求。
(1)N在控制层是合理的,当且仅当:
于本实施例中,所述控制流合理性的判定方法,包括:
(41)在一个WFT网N的可达配置图RG(N)中,称连接根节点c0到某个终止节点cf的一条配置序列为N的一条执行路径,记为ρ:c0c1…cf,且将路径ρ中所有触发变迁构成的集合记为Tρ,令T为N的变迁集合;
(42)在默认循环只执行一次的情况下,基于RG(N)计算N所有可能的执行路径,依次记为ρ1,…,ρn,其中ρi:ci0ci1…cif(1≤i≤n),对每个ρi中的终止节点cif进行判断;
(422)若配置cif中的标识为含有N中的非终止库所含有托肯,也就是cif不是N的终止配置,跳到步骤(44);
(431)若两者相等,则执行步骤(45);
(432)若两者不等,则执行步骤(44);
(44)判定N的控制流是不合理的;
(45)判定N的控制流是合理的。
于本实施例中,所述数据流合理性的判定方法包括:
(52)初始化与λj关联的流程数据元素构成的集合对每个基于N的可达配置图RG(N)计算djk的赋值集则得到公式λj中全局变量的赋值集合,记为对每个当赋值vj时,对路径ρi执行第一判定操作,用于判定所述路径ρi是否满足λj;
其中,所述第一判定操作包括步骤(521~523),即:
(523)令k=k-1,继续执行所述第一判定操作直至k<1;
(53)输出结果:N满足数据需求Λ=(λ1,…,λm);即N的数据流合理;
(54)输出结果:N不满足数据需求Λ=(λ1,…,λm),即N的数据流不合理。
根据以上的判定算法,若WFT网N的控制流和数据流都是合理的,那么这个网对应的系统是完全合理的,系统业务流程的设计没有流程和数据上的错误。
示例性的,请参阅图3,为本发明中采用形式化方法描述了一个企业单位车辆出入证的申请流程。用户必须先在系统成功注册,才能申请办理车辆出入证。另外,用户登录系统后根据当前是否已经注册过车辆出入证与否的信息被引导进行注册或者修改相关信息。在初步注册信息审核通过后需要用户进一步提交文件资料,若提交的文件正确,则最终申请成功,否则需要重新提交。
请参阅图4,为根据本发明提供的所述业务流程设计缺陷的检测方法,以出入证申请系统作为待测系统,构建所述出入证申请系统的WFT网。如图4所示,图中包括所述WFT网模型的基本业务逻辑、数据元素操作、数据表操作以及活动上的守卫函数,包括:初始库所“开始”,终止库所“结束”,库所p1~p9;变迁t1~t17;数据元素集分别代表了用户名、车牌号和文件三种数据,其中id和lpn的值域设为正整数,而pht的值域为{true,false};数据库包含一张数据表‘用户(id,lpn)’,可简写为<用户>;数据操作包括“读”、“写”、“删”;数据表操作包括“检索”、“插入”、“更新”、“删除”;谓词集Π={π1:数据id是否已经存在于数据库中;π2:用户id是否已经注册过车牌信息lpn;π3:数据lpn是否已经存在于数据库中;π4:数据pht是否正确}。这四个谓词与连接符组成变迁上的守卫函数,用来控制变迁的发生。
请参阅图5,为基于本发明生成的所述出入证申请系统WFT网对应的可达配置图,可达配置图中的每一个配置节点表示系统运行到某一时刻的状态。箭头表示状态间通过某个变迁t进行转换。例如,给定初始配置c0=([start],{θ(id)=⊥,θ(lpn)=⊥,θ(pht)=⊥},{User={(id1,lpn1),(id2,null)}},{σ(π1)=⊥,σ(π2)=⊥,σ(π3)=⊥,σ(π4)=⊥})。为了便于表达,简化为c0=([start],{⊥,⊥,⊥},{(id1,lpn1),(id2,null)},{⊥,⊥,⊥,⊥}),表示初始时,任何数据都未被写入,数据表含有两个元组(id1,lpn1)和(id2,null),谓词也处于未定义状态。运行到某一时刻,例如c8=([p5],{id3,⊥,⊥},{(id1,lpn1),(id2,null),(id3,null)},{false,true,⊥,⊥}),表示此刻,数据元素id的精炼值id3作为标识属性的值被写入系统数据库表<用户>,且由于谓词π1和π2与数据元素id相关,因此谓词π1和π2的值是可判断真与假的。c7,c10,c12,c33,c35,c36,c38,c48,c50为所述出入证申请系统WFT网的终止配置,即在这些配置状态下没有活动可以发生,对应路径的流程运行结束。
于本实施例中,基于所述出入证申请系统WFT网生成的可达配置图上,对于从初始配置到每个终止配置的每条可达路径,根据终止配置中库所托肯的当前分布,由此判断控制流是否合理,即如果存在某一路径,基于系统的业务流程无法到达该路径对应的终止配置状态时,则所述控制流不合理;并且,检测所述每条可达路径中的每个配置节点是否满足如上所述一阶线性时序逻辑公式,由此判断数据流是否合理。
根据所述合理性分析方法对所述出入证申请系统WFT的控制流合理性和数据合理性进行分析,得到如下结论:
首先,根据控制流能否完全终止的判定,我们可以得到
2)所有终止配置的库所有且仅有终止库所含有标识;
3)可达图中除终止配置外的节点最终都能到达终止状态。
因此,可以判定该系统的控制流是合理的。
其次,对数据流进行判断,在给定的初始配置下,如果用户可以执行到变迁t9并输入一个已经存在于当前数据库中的车牌号信息并完成资料提交审核,那么一定会出现违背数据需求的运行结果发生。例如,在所述出入证申请系统WFT网的可达图中,从初始配置c0到终止配置c48的可达路径用c0 c1 c4 c8 c13 c19 c26 c31 c37 c40 c43 c46 c48表示;当用户id3(图中未标识)先尝试注册车牌号lpn2,由于当前数据库中并没有其他用户注册使用lpn2,所以用户id3可以成功注册lpn2,此时数据库的状态为User={(id1,lpn1),(id2,null),(id3,lpn2)},在通过资料审核以后,用户id3并没有退出该系统,而是选择继续修改车牌号信息,并将原来的车牌号信息lpn2更改为lpn1,此时数据库的状态为User={(id1,lpn1),(id2,null),(id3,lpn1)},过后用户id3成功完成资料审核并退出该系统。这种运行情况出现了车牌号lpn1被两个不同的用户同时注册并使用,显然不满足系统规定的数据需求。因此,由判定结果可知,所述系统的数据流设计是不合理的。
综上所述,该系统是不合理的,其业务流程设计存在缺陷,活动“修改车牌号”缺少对输入的车牌号到数据库中进行唯一性核查的环节。
应用本发明实施例产生的有益效果如下:
(1)可以判定该系统的业务流程设计并不满足规定的数据需求,即在运行过程中某些数据出现异常时系统没有进行识别和处理,该系统是存在数据错误的。
(2)提出了系统业务流程正确性的分析模型,即带数据表操作的工作流网(WFT网),能够捕捉流程数据的具体值,以实现更加详细的描述数据问题。
(3)采用数据精炼技术,构建了相应的可达配置图,为正确性的分析提供了方法基础。
(4)提出了从控制流和数据流两个角度综合定义的合理性作为分析系统业务流程正确性的判定性质依据。能够较详细的对系统业务流程的设计错误类别进行归类和检测,将本发明实施例应用在复杂的系统中,减少错误检查的人工成本和时间成本。
上述实施例仅例示性说明本发明的原理及其功效,而非用于限制本发明。任何熟悉此技术的人士皆可在不违背本发明的精神及范畴下,对上述实施例进行修饰或改变。因此,举凡所属技术领域中具有通常知识者在未脱离本发明所揭示的精神与技术思想下所完成的一切等效修饰或改变,仍应由本发明的权利要求所涵盖。
Claims (9)
1.一种业务流程设计缺陷的检测方法,其特征在于,所述业务流程设计缺陷的检验方法包括以下步骤:
根据待测系统的业务流程,以及业务逻辑、流程数据及所述流程数据对业务活动的控制约束,构建成所述待测系统的WFD网;
根据所述流程数据与数据库间的交互,在所述WFD网基础上构建所述待测系统的WFT网;
根据所述WFT网的结构特征,以及所述数据库对所述流程数据的数据约束,利用数据精炼方法对所述待测系统的流程数据赋以具体值;
根据数据精炼技术,将所述业务活动的使能条件和发生规则转换为所述WFT网的执行语义,生成可达配置图;
根据所述WFT网,采用线性时序逻辑方法构建所述WFT网的合理性分析方法,判定所述WFT网的合理性,获得所述待测系统的合理性判定结果。
2.根据权利要求1所述的业务流程设计缺陷的检测方法,其特征在于,所述采用线性时序逻辑方法构建所述WFT网的合理性分析方法包括采用一阶线性时序逻辑的方法分别从控制流和数据流构建所述WFT网的合理性分析方法。
3.根据权利要求2所述的业务流程设计缺陷的检测方法,其特征在于,所述构建待测系统的WFT网的方法包括:
其中,(P,T,F)为Petri网;
为对所述数据库的数据操作的集合;其中,Sel:表示变迁上检索数据库的标签函数;Ins:表示变迁上插入数据到数据库中的标签函数;Del:表示变迁上从数据库中删除元组的标签函数;Upd:表示变迁上更改数据库中元组的标签函数;
4.根据权利要求3所述的业务流程设计缺陷的检测方法,其特征在于,所述流程数据的赋值精炼,包括:
若Vd中的所有元素都不能使得πi为真,则从Bd中选择一个能使得πi为真的元素di,然后将di添加到Vd;
若Vd中的所有元素都不能使得πi为假,则从Bd中选择一个能使得πi为假的元素d′i,然后将d′i添加到Vd;
否则输出Vd。
5.根据权利要求3所述的业务流程设计缺陷的检测方法,其特征在于,所述WFT网的所述可达配置图的生成,包括:
对所述WFT网N,给定起始配置c0,将c0作为可达配置图的根节点,并标记为新;
对除所述根节点以外是否存在标记为“新”的其他节点进行检测,根据检测结果执行第一生成操作;
其中,所述第一生成操作包括:
若其他节点中均不包含标记为“新”的节点,则所述可达配置图生成结束,输出N的可达配置图RG(N);
若存在标记为“新”的节点,任意选择一个“新”的节点,记为配置c,并在所述配置c下根据变迁的状态执行第二生成操作;
其中,所述第二生成操作包括:
若在配置c下,不存在任何变迁有发生权,则将c标记为“终止”节点,并继续对除所述根节点以外的其他节点进行检测,以及根据检测结果执行所述第一生成操作;
若在配置c下,变迁t1,…,tn(n≥1)有发生权,对每个变迁ti(1≤i≤n)进行第三生成操作;
其中,所述第三生成操作包括:
根据发生规则计算发生ti后生成的新配置c1,…,cm(m≥1),对每个新配置ci(1≤i≤m),判断ti未发生前的配置图中是否已经存在该ci;
若存在,那么将原本指向ci的箭头指向这个与ci相同的配置;
若不存在,那么将ci记录到配置图中,且生成一个箭头从c指向ci,在箭头上添加标签t,并将ci标记为“新”;
去掉配置c的“新”标记,并继续对除所述根节点以外的其他节点进行检测,以及根据检测结果执行所述第一生成操作。
6.根据权利要求5所述的业务流程设计缺陷的检测方法,其特征在于,所述控制流合理性分析方法,包括:
在所述WFT网N的可达配置图RG(N)中,将连接所述根节点c0到单个所述终止节点cf的一条配置序列为N的一条执行路径,记为ρ:c0c1…cf,且将路径ρ中所有触发变迁构成的集合记为Tρ,令T为N的变迁集合;
在默认循环只执行一次的情况下,基于RG(N)计算N所有可能的执行路径,依次记为ρ1,…,ρn,其中ρi:ci0ci1…cif(1≤i≤n),对每个ρi中的终止节点cif进行判断,包括:
若配置cif中的标识为含有N中的非终止库所含有托肯,也就是cif不是N的终止配置,则设定N的控制流为不合理;
若两者相等,则设定N的控制流为合理;
若两者不等,则设定N的控制流为不合理。
7.根据权利要求5所述的业务流程设计缺陷的检测方法,其特征在于,所述数据流的合理性分析方法,包括:
初始化与λj关联的流程数据元素构成的集合对每个基于N的可达配置图RG(N)计算djk的赋值集则得到公式λj中全局变量的赋值集合,记为对每个当赋值vj时,对路径ρi执行第一判定操作,用于判定所述路径ρi是否满足λj;
其中,所述第一判定操作包括:
若为U操作,即判断是否存在使得在配置 总是为真而在配置ciu不为真,并且在配置ciu不为真;若存在这样的ciu,则设定N满足数据需求Λ=(λ1,…,λm);若这样的ciu不存在,则设定N不满足数据需求Λ=(λ1,…,λm);
令k=k-1,继续执行所述第一判定操作,直至k<1。
8.一种终端,包括处理器及存储器,所述存储器用于存储程序指令,所述处理器用于执行所述存储器存储的程序,以使所述终端执行如权利要求1至7中任一项所述业务流程设计缺陷的检测方法中的步骤。
9.一种可读存储介质,所述可读存储介质存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现如权利要求1至7中任一项所述业务流程设计缺陷的检测方法中的步骤。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010032900.XA CN111260204A (zh) | 2020-01-13 | 2020-01-13 | 业务流程设计缺陷的检测方法、可读存储介质及终端 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010032900.XA CN111260204A (zh) | 2020-01-13 | 2020-01-13 | 业务流程设计缺陷的检测方法、可读存储介质及终端 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN111260204A true CN111260204A (zh) | 2020-06-09 |
Family
ID=70950387
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202010032900.XA Pending CN111260204A (zh) | 2020-01-13 | 2020-01-13 | 业务流程设计缺陷的检测方法、可读存储介质及终端 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN111260204A (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113610474A (zh) * | 2021-08-16 | 2021-11-05 | 傲林科技有限公司 | 一种基于事件网的库存管理方法和管理系统 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060074733A1 (en) * | 2004-10-01 | 2006-04-06 | Microsoft Corporation | Framework for seamlessly authoring and editing workflows at design and runtime |
US20130006698A1 (en) * | 2011-06-30 | 2013-01-03 | Infosys Limited | Method and apparatus for managing process flow |
CN104040377A (zh) * | 2012-01-10 | 2014-09-10 | 雪佛龙美国公司 | 用于碳酸盐中的岩石物理学岩石定型的集成工作流程或方法 |
CN105844421A (zh) * | 2016-03-30 | 2016-08-10 | 上海赞越软件服务中心 | 基于流程编辑器的流程表和流程图转换机制 |
CN109102138A (zh) * | 2018-04-13 | 2018-12-28 | 同济大学 | 工作流网检验的异常片段提取方法、可读存储介质及终端 |
-
2020
- 2020-01-13 CN CN202010032900.XA patent/CN111260204A/zh active Pending
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060074733A1 (en) * | 2004-10-01 | 2006-04-06 | Microsoft Corporation | Framework for seamlessly authoring and editing workflows at design and runtime |
US20130006698A1 (en) * | 2011-06-30 | 2013-01-03 | Infosys Limited | Method and apparatus for managing process flow |
CN104040377A (zh) * | 2012-01-10 | 2014-09-10 | 雪佛龙美国公司 | 用于碳酸盐中的岩石物理学岩石定型的集成工作流程或方法 |
CN105844421A (zh) * | 2016-03-30 | 2016-08-10 | 上海赞越软件服务中心 | 基于流程编辑器的流程表和流程图转换机制 |
CN109102138A (zh) * | 2018-04-13 | 2018-12-28 | 同济大学 | 工作流网检验的异常片段提取方法、可读存储介质及终端 |
Non-Patent Citations (1)
Title |
---|
XIAOYAN TAO ETC: ""Workflow Nets With Tables and Their Soundness"", 《IEEE》 * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113610474A (zh) * | 2021-08-16 | 2021-11-05 | 傲林科技有限公司 | 一种基于事件网的库存管理方法和管理系统 |
CN113610474B (zh) * | 2021-08-16 | 2023-09-22 | 傲林科技有限公司 | 一种基于事件网的库存管理方法和管理系统 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Mannhardt | Multi-perspective process mining | |
Mannhardt et al. | Decision mining revisited-discovering overlapping rules | |
Segall et al. | Using binary decision diagrams for combinatorial test design | |
US8949166B2 (en) | Creating and processing a data rule for data quality | |
US20050066263A1 (en) | System and method for generating data validation rules | |
De Leoni et al. | A holistic approach for soundness verification of decision-aware process models | |
JP2015502620A (ja) | 矛盾するルールを伴うケースの検出 | |
Chen et al. | Why do smart contracts self-destruct? investigating the selfdestruct function on ethereum | |
Kessentini et al. | Automated metamodel/model co-evolution using a multi-objective optimization approach | |
US20050166115A1 (en) | Method for performing software stress test | |
CN109102138B (zh) | 工作流网检验的异常片段提取方法、可读存储介质及终端 | |
US6853963B1 (en) | Analyzing an extended finite state machine system model | |
CN111260204A (zh) | 业务流程设计缺陷的检测方法、可读存储介质及终端 | |
US9311224B1 (en) | Manipulating a test based on a subset of similar divergent routes from different organizations | |
US9201775B1 (en) | Manipulating a test scenario template based on divergent routes found in test runs from different organizations | |
Zaman et al. | Prefix imputation of orphan events in event stream processing | |
Aoki et al. | Verifying security requirements using model checking technique for UML-based requirements specification | |
Corea et al. | A taxonomy of business rule organizing approaches in regard to business process compliance | |
CN114254617A (zh) | 一种修订条款的方法、装置、计算设备及存储介质 | |
CN110262795B (zh) | 一种应用系统部署体系结构建模和验证方法 | |
Bistarelli et al. | Power index-based semantics for ranking arguments in abstract argumentation frameworks | |
Mancas | Matbase Auto Function Non-Relational Constraints Enforcement Algorithms | |
van den Bos et al. | Enhancing automata learning by log-based metrics | |
Foster | Reverse engineering systems to identify flaws and understand behaviour | |
Vistbakka et al. | Modelling and verification of dynamic role-based access control |
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 | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20200609 |
|
RJ01 | Rejection of invention patent application after publication |