Graph-Based Token Replay for Online Conformance Checking

被引:3
|
作者
Waspada, Indra [1 ,3 ]
Sarno, Riyanarto [1 ]
Astuti, Endang Siti [2 ]
Prasetyo, Hanung Nindito [1 ,4 ]
Budiraharjo, Raden [1 ,5 ]
机构
[1] Inst Teknol Sepuluh Nopember, Fac Intelligent Elect & Informat Technol, Dept Informat, Surabaya 60111, Indonesia
[2] Brawijaya Univ, Dept Business Adm, Malang 65145, Indonesia
[3] Diponegoro Univ, Fac Sci & Math, Dept Informat, Semarang 50275, Indonesia
[4] Telkom Univ, Sch Appl Sci, Dept Informat Syst Diploma, Bandung 40257, Indonesia
[5] Inst Teknol Nasional, Fac Ind Technol, Dept Informat Syst, Bandung 40124, Indonesia
关键词
Databases; Memory management; Business; Behavioral sciences; Conformance testing; Lifting equipment; Conformance checking; event stream; graph database; token-based replay; memory limitation;
D O I
10.1109/ACCESS.2022.3208098
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Conformance checking detects deviations in business process executions. An online detection method is needed to give immediate response to anticipate possible impacts. The state-of-the-art online conformance checking is the Prefix-Alignment (PA) technique. However, this technique has a limitation of maintaining all of the administration data of cases in memory. In an online environment, the last event of a case is never known, whereas a PA requires last event information to release the case from memory to free up space for other cases. Hence, the PA does not meet the requirements of online conformance checking in processing infinite data of event stream without memory constraints. PA also has a complex state space search computation especially for large and complex process model references. In this paper, a Graph-Based Online Token Replay (GO-TR) method is proposed. This method takes benefit from Graph Database to adapts the Token-Based Replay (TBR) technique which has simple replay computation. We propose a Replay Image (RI) to store the case administration and develop a cypher based algorithm to simulate token replay on the RI to handle the event stream. We also propose a cypher-based algorithm to identify and replay invisible paths. The experiment results show that GO-TR has been successful in adapting TBR and solving the problem of wrong-placed tokens in TBR. GO-TR outperforms PA in yielding replay throughputs of relatively small amount of data in online conformance checking. In terms of memory usage, GO-TR shows its superiority over PA because it does not have memory limitations problems.
引用
收藏
页码:102737 / 102752
页数:16
相关论文
共 50 条
  • [1] A Token-Replay-Based Conformance Checking Method for Dataflow in loT System
    Yamaguchi, Shingo
    Bin Ahmadon, Mohd Anuaruddin
    2022 37TH INTERNATIONAL TECHNICAL CONFERENCE ON CIRCUITS/SYSTEMS, COMPUTERS AND COMMUNICATIONS (ITC-CSCC 2022), 2022, : 1027 - 1030
  • [2] Method for conformance checking based on token log
    Ge, Ji-Dong (gjd@nju.edu.cn), 2015, Chinese Academy of Sciences (26):
  • [3] Orientation and conformance: A HMM-based approach to online conformance checking
    Lee, Wai Lam Jonathan
    Burattin, Andrea
    Munoz-Gama, Jorge
    Sepulveda, Marcos
    INFORMATION SYSTEMS, 2021, 102
  • [4] Online Approximate Conformance Checking
    Guo, Xin
    Fang, Xianwen
    Mao, Gubao
    2021 INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SOCIAL INTELLIGENCE (ICCSI), 2021,
  • [5] A Framework for Online Conformance Checking
    Burattin, Andrea
    Carmona, Josep
    BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017), 2018, 308 : 165 - 177
  • [6] Online Graph-Based Tracking
    Nam, Hyeonseob
    Hong, Seunghoon
    Han, Bohyung
    COMPUTER VISION - ECCV 2014, PT V, 2014, 8693 : 112 - 126
  • [7] Parallel Graph-Based Stateless Model Checking
    Lang, Magnus
    Sagonas, Konstantinos
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 377 - 393
  • [8] Knapsack graph-based privacy checking for smart environments
    Alom Z.
    Singh B.C.
    Aung Z.
    Azim M.A.
    Computers and Security, 2021, 105
  • [9] Knapsack graph-based privacy checking for smart environments
    Alom, Zulfikar
    Singh, Bikash Chandra
    Aung, Zeyar
    Azim, Mohammad Abdul
    COMPUTERS & SECURITY, 2021, 105
  • [10] Graph-based consistency checking in spatial information systems
    Kong, J
    Zhang, K
    200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 153 - 160