Online Approximate Conformance Checking

被引:1
|
作者
Guo, Xin [1 ]
Fang, Xianwen [1 ]
Mao, Gubao [1 ]
机构
[1] Anhui Univ Sci & Technol, Sch Math & Big Data, Huainan, Peoples R China
关键词
hierarchical clustering; model support set; approximate conformance; online checking; event stack;
D O I
10.1109/ICCSI53130.2021.9736262
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Online conformance checking is used to verify the compliance between the event stream and the given model. The existing methods need to detect each event in the event stream, which not only increases requirements for reference models but also low operating efficiency. Therefore, this paper proposes an approximate conformance checking method that does not need to build a model. We need to cluster the existing logs, select representative traces to build a model support set, and calculate the upper and lower bounds of fitness as the basis of conformance judgment. During the online operation of the system, the event stream is temporarily stored in the event stack, and the event sequence is only taken out at the key activity nodes for conformance checking with the model support set. Finally, the performance of the proposed method is evaluated through a practical log. After comparing with the existing methods, the results show that our algorithm is feasible and has high accuracy.
引用
收藏
页数:6
相关论文
共 50 条
  • [21] Scalable process discovery and conformance checking
    Leemans, Sander J. J.
    Fahland, Dirk
    Van der Aalst, Wil M. P.
    SOFTWARE AND SYSTEMS MODELING, 2018, 17 (02): : 599 - 631
  • [22] Partially ordered stochastic conformance checking
    Leemans, Sander J. J.
    Brockhoff, Tobias
    van der Aalst, Wil M. P.
    Polyvyanyy, Artem
    KNOWLEDGE AND INFORMATION SYSTEMS, 2025, 67 (03) : 2291 - 2319
  • [23] Conformance Checking with Uncertainty via SMT
    Felli, Paolo
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    Winkler, Sarah
    BUSINESS PROCESS MANAGEMENT (BPM 2022), 2022, 13420 : 199 - 216
  • [24] Conformance Checking using Formal Methods
    Santone, Antonella
    Vaglini, Gigliola
    ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 258 - 263
  • [25] Impact-Aware Conformance Checking
    Tsoury, Arava
    Soffer, Pnina
    Reinhartz-Berger, Iris
    BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 147 - 159
  • [26] Encoding Conformance Checking Artefacts in SAT
    Boltenhagen, Mathilde
    Chatain, Thomas
    Carmona, Josep
    BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 160 - 171
  • [27] A Unified Approach to Architecture Conformance Checking
    Caracciolo, Andrea
    Lungu, Mircea Filip
    Nierstrasz, Oscar
    2015 12TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2015, : 41 - 50
  • [28] Earth Movers' Stochastic Conformance Checking
    Leemans, Sander J. J.
    Syring, Anja F.
    van der Aalst, Wil M. P.
    BUSINESS PROCESS MANAGEMENT FORUM, BPM FORUM 2019, 2019, 360 : 127 - 143
  • [29] Scalable process discovery and conformance checking
    Sander J. J. Leemans
    Dirk Fahland
    Wil M. P. van der Aalst
    Software & Systems Modeling, 2018, 17 : 599 - 631
  • [30] Conformance Checking: Relating Processes and Models
    Carmona, Josep
    van Dongen, Boudewijn
    Weidlich, Matthias
    ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 700 - 700