CAJ | 학술논문

在比较分析已有工作流模型验证算法优缺点的基础上，提出一种新的工作流模型验证方法。该方法基于规范化工作流网，不仅可以检测死锁、孤立点等常规模型错误结构，而且能够检测隐蔽性很强的AND-split→OR-j oin（A→O）结构。为了成功检测A→O结构，详尽分析了不同A→O结构的特点，并找到它们之间的共同特征，进而通过探测该共同特征来检测是否存在A→O结构，从而克服已有算法无法验证A→O结构的缺陷。此外，还给出模型规范化规则，使得方法能够验证不规范的业务流程。通过实例分析，表明算法有效可靠。
재비교분석이유공작류모형험증산법우결점적기출상，제출일충신적공작류모형험증방법。해방법기우규범화공작류망，불부가이검측사쇄、고립점등상규모형착오결구，이차능구검측은폐성흔강적AND-split→OR-j oin（A→O）결구。위료성공검측A→O결구，상진분석료불동A→O결구적특점，병조도타문지간적공동특정，진이통과탐측해공동특정래검측시부존재A→O결구，종이극복이유산법무법험증A→O결구적결함。차외，환급출모형규범화규칙，사득방법능구험증불규범적업무류정。통과실례분석，표명산법유효가고。
In analysis of the strengths and weaknesses of the existing workflow model validation methods,a new method is proposed.This is a standardized workflow net based method which can not only detect the regular mistake structures such as deadlock and isolated point but also can de-tect the AND-split→OR-join(A→O)structure.In order to make detecting A→O structure be-come reality,by analyzing their features the commonality of various kinds of A→O structures are confirmed and then the appropriate detecting method by detecting the commonality are designed, which means that the method successfully overcome the shortcoming that can not detect the A→O structure of those existing methods.Besides,two normalization rules are built,which can nor-malize the non-standardized workflow model.It shows that the method is effective and reliable by the case analysis result.