计算机科学与探索2026，Vol.20Issue(7)：1963-1970,8.DOI:10.3778/j.issn.1673-9418.2511035
面向长轨迹的高效业务流程合规性检查方法
Efficient Business Process Conformance Checking Technique for Long Traces
摘要
Abstract
Conformance checking aims to identify discrepancies and similarities between business process event log behaviors and model behaviors.Alignment,the most effective technique for conformance checking,precisely locates deviations between log and model behaviors.However,as event logs grow in scale and complexity,particularly when logs contain activities outside the model' s activity set,existing alignment methods face performance bottlenecks when processing long traces.This is mainly because model-external activities cause the alignment search space to expand dramatically,resulting in severe computational inefficiency.To address this issue,this paper proposes a long trace oriented alignment(LTA)method to improve alignment calculation efficiency and thereby enhance the overall performance of conformance checking.The core idea of the proposed method is to pre-filter activities that do not belong to the process model in order to reduce the alignment search space.Specifically,the complete activity set is first extracted from the process model,and the original log is filtered based on this set to generate a new log that contains only model-related activities.The filtered log is then aligned with the process model to obtain an incomplete alignment sequence.Finally,the complete optimal alignment result is reconstructed using the index information of the filtered activities.The proposed method has been implemented in PM4Py(process mining for Python)and evaluated using six groups of publicly available event logs and process models.Experimental results show that,compared with the traditional A*-based alignment method,the proposed approach achieves an average improvement of 41.3%in alignment efficiency while maintaining 100%conformance accuracy.关键词
流程挖掘/合规性检查/对齐/长轨迹/业务流程对齐方法Key words
process mining/conformance checking/alignment/long traces/business process alignment method分类
信息技术与安全科学引用本文复制引用
任泽栋,刘聪,王路,陆婷,张海军,曾庆田..面向长轨迹的高效业务流程合规性检查方法[J].计算机科学与探索,2026,20(7):1963-1970,8.基金项目
国家自然科学基金面上项目(62472264) （62472264）
山东省杰出青年基金项目(ZR2025QA13) （ZR2025QA13）
教育部人文社会科学研究项目基金(24YJCZH194). This work was supported by the National Natural Science Foundation of China(62472264),the Distinguished Youth Foundation of Shandong Province(ZR2025QA13),and the Fund for Humanities and Social Sciences Research of the Ministry of Education of China(24YJCZH194). （24YJCZH194）
