Online Conformance Checking Using Behavioural Patterns

被引:46
作者
Burattin, Andrea [1 ]
van Zelst, Sebastiaan J. [2 ]
Armas-Cervantes, Abel [3 ]
van Dongen, Boudewijn F. [2 ]
Carmona, Josep [4 ]
机构
[1] Tech Univ Denmark, Lyngby, Denmark
[2] Eindhoven Univ Technol, Eindhoven, Netherlands
[3] Univ Melbourne, Melbourne, Vic, Australia
[4] Univ Politecn Cataluna, Barcelona, Spain
来源
BUSINESS PROCESS MANAGEMENT (BPM 2018) | 2018年 / 11080卷
关键词
Conformance checking; Online processing; Behavioural patterns; Stream processing; Petri nets; Unfoldings; PROCESS MODELS;
D O I
10.1007/978-3-319-98648-7_15
中图分类号
F [经济];
学科分类号
02 ;
摘要
New and compelling regulations (e.g., the GDPR in Europe) impose tremendous pressure on organizations, in order to adhere to standard procedures, processes, and practices. The field of conformance checking aims to quantify the extent to which the execution of a process, captured within recorded corresponding event data, conforms to a given reference process model. Existing techniques assume a post-mortem scenario, i.e. they detect deviations based on complete executions of the process. This limits their applicability in an online setting. In such context, we aim to detect deviations online (i.e., in-vivo), in order to provide recovery possibilities before the execution of a process instance is completed. Also, current techniques assume cases to start from the initial stage of the process, whereas this assumption is not feasible in online settings. In this paper, we present a generic framework for online conformance checking, in which the underlying process is represented in terms of behavioural patterns and no assumption on the starting point of cases is needed. We instantiate the framework on the basis of Petri nets, with an accompanying new unfolding technique. The approach is implemented in the process mining tool ProM, and evaluated by means of several experiments including a stress-test and a comparison with a similar technique.
引用
收藏
页码:250 / 267
页数:18
相关论文
共 22 条
[1]  
Adriansyah A., 2014, Aligning observed and modeled behavior, DOI DOI 10.6100/IR770080
[2]   A Framework for Online Conformance Checking [J].
Burattin, Andrea ;
Carmona, Josep .
BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017), 2018, 308 :165-177
[3]   Online Discovery of Declarative Process Models from Event Streams [J].
Burattin, Andrea ;
Cimitile, Marta ;
Maggi, Fabrizio M. ;
Sperduti, Alessandro .
IEEE TRANSACTIONS ON SERVICES COMPUTING, 2015, 8 (06) :833-846
[4]  
Burattin A, 2014, 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), P2420, DOI 10.1109/CEC.2014.6900341
[5]   Semantics and analysis of business process models in BPMN [J].
Dijkman, Remco M. ;
Dumas, Marlon ;
Ouyang, Chun .
INFORMATION AND SOFTWARE TECHNOLOGY, 2008, 50 (12) :1281-1294
[6]  
Jouck T., 2016, CEUR Workshop Proceedings, V1789, P23
[7]   Canonical prefixes of Petri net unfoldings [J].
Khomenko, V ;
Koutny, M ;
Vogler, W .
ACTA INFORMATICA, 2003, 40 (02) :95-118
[8]   Compliance monitoring in business processes: Functionalities, application, and tool-support [J].
Ly, Linh Thao ;
Maggi, Fabrizio Maria ;
Montali, Marco ;
Rinderle-Ma, Stefanie ;
van der Aalst, Wil M. P. .
INFORMATION SYSTEMS, 2015, 54 :209-234
[9]   Balanced multi-perspective checking of process conformance [J].
Mannhardt, Felix ;
de Leoni, Massimiliano ;
Reijers, Hajo A. ;
van der Aalst, Wil M. P. .
COMPUTING, 2016, 98 (04) :407-437
[10]   A TECHNIQUE OF STATE-SPACE SEARCH BASED ON UNFOLDING [J].
MCMILLAN, KL .
FORMAL METHODS IN SYSTEM DESIGN, 1995, 6 (01) :45-65