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 条
  • [41] Optimized SAT encoding of conformance checking artefacts
    Boltenhagen, Mathilde
    Chatain, Thomas
    Carmona, Josep
    COMPUTING, 2021, 103 (01) : 29 - 50
  • [42] Evaluation of an Architectural Conformance Checking Software Service
    Olsson, Tobias
    Toll, Daniel
    Ericsson, Morgan
    Wingkvist, Anna
    ACM PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ECSA-W), 2016,
  • [43] Optimized SAT encoding of conformance checking artefacts
    Mathilde Boltenhagen
    Thomas Chatain
    Josep Carmona
    Computing, 2021, 103 : 29 - 50
  • [44] Complete and Interpretable Conformance Checking of Business Processes
    Garcia-Banuelos, Luciano
    van Beest, Nick R. T. P.
    Dumas, Marlon
    La Rosa, Marcello
    Mertens, Willem
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (03) : 262 - 290
  • [45] Optimizing Post-silicon Conformance Checking
    Lei, Li
    Cong, Kai
    Xie, Fei
    2013 IEEE 31ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2013, : 499 - 502
  • [46] Data-aware conformance checking with SMT
    Felli, Paolo
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    Winkler, Sarah
    INFORMATION SYSTEMS, 2023, 117
  • [47] Fuzzy Conformance Checking of Observed Behaviour with Expectations
    Bragaglia, Stefano
    Chesani, Federico
    Mello, Paola
    Montali, Marco
    Sottara, Davide
    AI(STAR)IA 2011: ARTIFICIAL INTELLIGENCE AROUND MAN AND BEYOND, 2011, 6934 : 80 - +
  • [48] The projected TAR and its application to conformance checking
    Institute for Information Business, Wirtschaftsuniversitat Wien, Austria
    不详
    Lect. Notes Informatics (LNI), Proc. - Series Ges. Inform. (GI), (151-164):
  • [49] A VERIFIER FOR CHECKING THE CONFORMANCE OF PROGRAMS WITH THE GKS STANDARD
    PFAFF, GE
    MULLER, R
    KIRSCH, B
    COMPUTERS & GRAPHICS, 1985, 9 (01) : 19 - 25
  • [50] Conformance checking over uncertain event data
    Pegoraro, Marco
    Uysal, Merih Seran
    Aalst, Wil M. P. van der
    INFORMATION SYSTEMS, 2021, 102