基于RPST的业务过程一致性运行时检查方法  

RPST-based Conformance Checking at Runtime for Business Process

作　　者：华梦青 龚平[1,2] 陈志德[1,2] HUA Meng-Qing;GONG Ping;CHEN Zhi-De(College of Computer and Cyber Security,Fujian Normal University,Fuzhou 350007,China;Fujian Provincial Key Laboratory of Network Security and Cryptology(Fujian Normal University),Fuzhou 350007,China)

机构地区：[1]福建师范大学计算机与网络空间安全学院,福州350007 [2]福建省网络安全与密码技术重点实验室(福建师范大学),福州350007

出　　处：《计算机系统应用》2023年第1期156-165,共10页Computer Systems & Applications

基　　金：国家自然科学基金(61841701);福建省自然科学基金(2020J01171,2018J01781)。

摘　　要：一致性检查是关于计算流程模型与其执行实际之间相符情况的问题.运行时一致性检查因反馈的实时性和良好的应用前景,成为当前一致性检查的新问题.针对每个新产生的事件,如何以较小的性能代价计算得到最优的一致性检查结果是运行时一致性检查的难点.基于流程模型的结构信息(refined process structure tree,RPST)提出一致性监控树(conformance monitoring tree,CMT),基于CMT提出求解最优一致性结果的动态规划算法.通过3个实验数据集表明,对比已有相关工作,本文算法具备较明显的性能优势.Conformance checking refers to the alignment between a computational process model and its actual execution.Conformance checking at runtime has become a new problem in current conformance checking due to the real-time feedback and positive application prospects.For each newly generated event,how to calculate and obtain the optimal conformance checking at a low performance cost is a difficult point for conformance checking at runtime.Based on the refined process structure tree(RPST)of the process model,this study proposes a conformance monitoring tree(CMT)and a dynamic programming algorithm to obtain the optimal conformance result based on the CMT.Through three experimental datasets,it is shown that compared with the existing work,the proposed algorithm has obvious performance advantages.

关 键 词：过程挖掘 一致性检查 运行时验证 基于流程模型的结构信息(RPST) 动态规划 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]