本文已被:浏览 851次 下载 1500次
Received:May 18, 2022 Revised:June 20, 2022
Received:May 18, 2022 Revised:June 20, 2022
中文摘要: 一致性检查是关于计算流程模型与其执行实际之间相符情况的问题. 运行时一致性检查因反馈的实时性和良好的应用前景, 成为当前一致性检查的新问题. 针对每个新产生的事件, 如何以较小的性能代价计算得到最优的一致性检查结果是运行时一致性检查的难点. 基于流程模型的结构信息(refined process structure tree, RPST)提出一致性监控树(conformance monitoring tree, CMT), 基于CMT提出求解最优一致性结果的动态规划算法. 通过3个实验数据集表明, 对比已有相关工作, 本文算法具备较明显的性能优势.
中文关键词: 过程挖掘 一致性检查 运行时验证 基于流程模型的结构信息(RPST) 动态规划
Abstract: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.
keywords: process mining conformance checking runtime verification refined process structure tree (RPST) dynamic programming
文章编号: 中图分类号: 文献标志码:
基金项目:国家自然科学基金(61841701); 福建省自然科学基金(2020J01171, 2018J01781)
引用文本:
华梦青,龚平,陈志德.基于RPST的业务过程一致性运行时检查方法.计算机系统应用,2023,32(1):156-165
HUA Meng-Qing,GONG Ping,CHEN Zhi-De.RPST-based Conformance Checking at Runtime for Business Process.COMPUTER SYSTEMS APPLICATIONS,2023,32(1):156-165
华梦青,龚平,陈志德.基于RPST的业务过程一致性运行时检查方法.计算机系统应用,2023,32(1):156-165
HUA Meng-Qing,GONG Ping,CHEN Zhi-De.RPST-based Conformance Checking at Runtime for Business Process.COMPUTER SYSTEMS APPLICATIONS,2023,32(1):156-165