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 条
  • [31] A Algorithm for Conformance Checking Based on Statistics
    Li Zhao
    Zhang Liqun
    Huang Fangfang
    2014 FIFTH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND ENGINEERING APPLICATIONS (ISDEA), 2014, : 5 - 8
  • [32] Conformance Checking Approximation Using Simulation
    Sani, Mohammadreza Fani
    Gonzalez, Juan J. Garza
    van Zelst, Sebastiaan J.
    van der Aalst, Wil M. P.
    2020 2ND INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2020), 2020, : 105 - 112
  • [33] Architecture Conformance Checking with Description Logics
    Schroeder, Sandra
    Riebisch, Matthias
    11TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2017) - COMPANION VOLUME, 2017, : 167 - 173
  • [34] Distributed Process Discovery and Conformance Checking
    van der Aalst, Wil M. P.
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 1 - 25
  • [35] A tool for checking conformance of UML specification
    Ibrahim, Rosziati
    Ibrahim, Noraini
    World Academy of Science, Engineering and Technology, 2009, 39 : 275 - 279
  • [36] Online conformance checking: relating event streams to process models using prefix-alignments
    Sebastiaan J. van Zelst
    Alfredo Bolt
    Marwan Hassani
    Boudewijn F. van Dongen
    Wil M. P. van der Aalst
    International Journal of Data Science and Analytics, 2019, 8 : 269 - 284
  • [37] Online and offline conformance checking of inter-organizational business processes with incomplete process logs
    D'Iddio, Andrea Callia
    Schunck, Christian H.
    Arcieri, Franco
    Talamo, Maurizio
    2016 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), 2016, : 184 - 191
  • [38] Online conformance checking: relating event streams to process models using prefix-alignments
    van Zelst, Sebastiaan J.
    Bolt, Alfredo
    Hassani, Marwan
    van Dongen, Boudewijn F.
    van der Aalst, Wil M. P.
    INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, 2019, 8 (03) : 269 - 284
  • [39] Conformance Checking of Dynamic Access Control Policies
    Power, David
    Slaymaker, Mark
    Simpson, Andrew
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 227 - 242
  • [40] Evaluation of Markov Models for Architecture Conformance Checking
    Rodriguez, Guillermo
    Armentano, Marcelo
    Soria, Alvaro
    Corengia, Emilio
    IEEE LATIN AMERICA TRANSACTIONS, 2020, 18 (01) : 43 - 50