Orientation and conformance: A HMM-based approach to online conformance checking

被引:10
|
作者
Lee, Wai Lam Jonathan [1 ]
Burattin, Andrea [2 ]
Munoz-Gama, Jorge [1 ]
Sepulveda, Marcos [1 ]
机构
[1] Pontificia Univ Catolica Chile, Sch Engn, Dept Comp Sci, Vicuna Mackenna 4860, Santiago, Chile
[2] Tech Univ Denmark, Dept Appl Math & Comp Sci, Lyngby, Denmark
关键词
Conformance checking; Online processing; Business process management; BUSINESS PROCESS MODELS; PETRI NETS;
D O I
10.1016/j.is.2020.101674
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Online conformance checking comes with new challenges, especially in terms of time and space constraints. One fundamental challenge of explaining the conformance of a running case is in balancing between making sense at the process level as the case reaches completion and putting emphasis on the current information at the same time. In this paper, we propose an online conformance checking framework that tackles this problem by incorporating the step of estimating the "location" of the case within the scope of the modeled process before conformance computation. This means that conformance checking is broken down into two steps: orientation and conformance. The two steps are related: knowing "where" the case is with respect to the process allows a conformance explanation that is more accurate and coherent at the process level and such conformance information in turn allows better orientations. Based on Hidden Markov Models (HMM), the approach works by alternating between orienting the running case within the process and conformance computation. An implementation is available as a Python package and experimental results show that the approach yields results that correlate with prefix alignment costs under both conforming and non-conforming scenarios while maintaining constant time and space complexity per event. (C) 2020 Elsevier Ltd. All rights reserved.
引用
收藏
页数:15
相关论文
共 50 条
  • [31] Model checking conformance with scenario-based specifications
    Glusman, M
    Katz, S
    [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 328 - 340
  • [32] Sotograph -: A pragmatic approach to source code architecture conformance checking
    Bischofberger, W
    Kühl, J
    Löffler, S
    [J]. SOFTWARE ARCHITECTURE, 2004, 3047 : 1 - 9
  • [33] Conformance Checking Method for Process Text
    Lin, Lei-Lei
    Qian, Chen
    Wen, Li-Jie
    Qiu, Hong-Jun
    [J]. Ruan Jian Xue Bao/Journal of Software, 2024, 35 (10): : 4696 - 4709
  • [34] Scalable process discovery and conformance checking
    Leemans, Sander J. J.
    Fahland, Dirk
    Van der Aalst, Wil M. P.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (02): : 599 - 631
  • [35] Conformance Checking with Uncertainty via SMT
    Felli, Paolo
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    Winkler, Sarah
    [J]. BUSINESS PROCESS MANAGEMENT (BPM 2022), 2022, 13420 : 199 - 216
  • [36] Impact-Aware Conformance Checking
    Tsoury, Arava
    Soffer, Pnina
    Reinhartz-Berger, Iris
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 147 - 159
  • [37] Encoding Conformance Checking Artefacts in SAT
    Boltenhagen, Mathilde
    Chatain, Thomas
    Carmona, Josep
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 160 - 171
  • [38] Conformance Checking using Formal Methods
    Santone, Antonella
    Vaglini, Gigliola
    [J]. ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 258 - 263
  • [39] Conformance Checking: Relating Processes and Models
    Carmona, Josep
    van Dongen, Boudewijn
    Weidlich, Matthias
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 700 - 700
  • [40] Earth Movers' Stochastic Conformance Checking
    Leemans, Sander J. J.
    Syring, Anja F.
    van der Aalst, Wil M. P.
    [J]. BUSINESS PROCESS MANAGEMENT FORUM, BPM FORUM 2019, 2019, 360 : 127 - 143