计算机科学 ›› 2025, Vol. 52 ›› Issue (11A): 241200200-8.doi: 10.11896/jsjkx.241200200

• 数据库&大数据&数据科学 • 上一篇    下一篇

时间不确定性中缀/后缀轨迹对齐一致性研究

高灵婷, 叶剑虹, 姜文慧, 黄一凡   

  1. 华侨大学计算机科学与技术学院 福建 厦门 361021
  • 出版日期:2025-11-15 发布日期:2025-11-10
  • 通讯作者: 叶剑虹(leafever@hqu.edu.cn)
  • 作者简介:23014083015@stu.hqu.edu.cn
  • 基金资助:
    福建省科技厅引导性项目(2024H0014(2024H01010100))

Study of Temporal Uncertainty in Infix/Postfix Trace Alignment Conformance

GAO Lingting, YE Jianhong, JIANG Wenhui, HUANG Yifan   

  1. College of Computer Science and Technology,Huaqiao University,Xiamen,Fujian 361021,China
  • Online:2025-11-15 Published:2025-11-10
  • Supported by:
    Science and Technology Planning Project of Fujian Province,China(2024H0014(2024H01010100)).

摘要: 对齐是一致性检验技术的一种,涉及将建模的流程行为与事件数据中记录的流程行为进行核对。由于硬件故障、软件错误等因素的影响,时间数据记录呈现出多样性,包括不同的精度和误差,导致记录的数据存在时间不确定性。对此,考虑了含有时间不确定性的中缀/后缀轨迹,提出了基于时间不确定性的轨迹片段对齐方法,针对传统轨迹片段对齐方法无法有效处理不确定性,解决了传统对齐由于时间不确定性导致的对齐精度不足和计算效率低的问题。具体而言,首先处理不确定轨迹并生成行为网;其次计算流程模型的标记,构建辅助网;最后构建同步乘积网,计算时间不确定性的轨迹片段对齐。所提方法拓宽了对齐技术的应用范围,使得对齐能够适应和处理含有时间偏差的数据,增强了对齐算法在面对不完美数据时的稳定性和鲁棒性。实验结果表明,所提出的方法在处理不确定性时,相较于传统方法提高了对齐精度并有效减少了计算复杂度。

关键词: 流程挖掘, 一致性检查, 对齐, 不确定数据

Abstract: Alignment is a type of conformance checking technique that involves checking the modeled process behavior against the process behavior recorded in the event data.Due to hardware failures,software errors,and other factors,temporal data recordings show diversity,including different accuracies and errors,leading to temporal uncertainty in the recorded data.This paperconsi-ders the infix/postfix traces containing temporal uncertainty,and proposes a trace fragment alignment method based on temporal uncertainty,which addresses the traditional trace fragment alignment method that cannot effectively deal with uncertainty,and solves the problems of insufficient alignment accuracy and low computational efficiency of the traditional alignment due to temporal uncertainty.Specifically,firstly,uncertain traces are processed and behavior net are generated.Secondly,markings of the process model are computed and auxiliary nets are constructed.Finally,synchronous product nets are constructed to compute the trace fragment alignment with time uncertainty.The proposed method broadens the application scope of the alignment technique,enabling the alignment to adapt to and handle data containing temporal deviations,and enhancing the stability and robustness of the alignment algorithm in the face of imperfect data.Experimental results show that the proposed method improves the alignment accuracy and effectively reduces the computational complexity compared to the traditional method when dealing with uncertainty.

Key words: Process mining, Conformance checking, Alignment, Uncertain data

中图分类号: 

  • TP311
[1]CARMONA J,VAN DONGEN B,SOLTI A,et al.Conformance checking[M].Switzerland:Springer,2018.
[2]SUN Z Y,DENG W W,XU Q,et al.Multi-perspective alignment between batch traces of event log and process model [J].Application Research of Computers,2023,40(7):2045-2052,2059.
[3]VAN DER AALST W,ADRIANSYAH A,VAN DONGEN B.Replaying history on process models for conformance checking and performance analysis[J].Wiley Interdisciplinary Reviews:Data Mining and Knowledge Discovery,2012,2(2):182-192.
[4]LEEMANS S J,VAN ZELST S J,LU X.Partial-order-basedprocess mining:a survey and outlook[J].Knowledge and Information Systems,2023,65(1):1-29.
[5]PEGORARO M,VAN DER AALST W M P.Mining uncertain event data in process mining[C]//International Conference on Process Mining(ICPM).IEEE,2019:89-96.
[6]BURATTIN A.Heuristics miner for time interval[C]//Process Mining Techniques in Business Environments:Theoretical Aspects,Algorithms,Techniques and Open Challenges in Process Mining.2015:85-95.
[7]PEGORARO M,UYSAL M S,VAN DER AALST W M P.Discovering process models from uncertain event data[C]//International Conference on Business Process Management.Cham:Springer International Publishing,2019:238-249.
[8]PEGORARO M,UYSAL M S,VAN DER AALST W M P.Conformance checking over uncertain event data[J].Information Systems,2021,102:101810.
[9]ROZINAT A,VAN DER AALST W M.Conformance checking of processes based on monitoring real behavior[J].Information Systems,2008,33(1):64-95.
[10]ADRIANSYAH A.Aligning observed and modeled behavior[J/OL].http://doi.org/10.6100/IR770080.
[11]VAN DONGEN B F.Efficiently computing alignments:usingthe extended marking equation[C]//Business Process Management:16th International Conference(BPM 2018).Springer International Publishing,2018:197-214.
[12]SCHUSTER D,FÖCKING N,VAN ZELST S J,et al.Conformance checking for trace fragments using infix and postfix alignments[C]//International Conference on Cooperative Information Systems.Cham:Springer International Publishing,2022:299-310.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!