Predictive Monitoring of Business Processes

被引:0
作者
Maggi, Fabrizio Maria [1 ]
Di Francescomarino, Chiara [2 ]
Dumas, Marlon [1 ]
Ghidini, Chiara [2 ]
机构
[1] Univ Tartu, EE-50409 Tartu, Estonia
[2] FBK IRST, I-38050 Trento, Italy
来源
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2014) | 2014年 / 8484卷
关键词
Predictive Process Monitoring; Recommendations; Business Constraints; Linear Temporal Logic; VERIFICATION; SUPPORT;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Modern information systems that support complex business processes generally maintain significant amounts of process execution data, particularly records of events corresponding to the execution of activities (event logs). In this paper, we present an approach to analyze such event logs in order to predictively monitor business constraints during business process execution. At any point during an execution of a process, the user can define business constraints in the form of linear temporal logic rules. When an activity is being executed, the framework identifies input data values that are more (or less) likely to lead to the achievement of each business constraint. Unlike reactive compliance monitoring approaches that detect violations only after they have occurred, our predictive monitoring approach provides early advice so that users can steer ongoing process executions towards the achievement of business constraints. In other words, violations are predicted (and potentially prevented) rather than merely detected. The approach has been implemented in the ProM process mining toolset and validated on a real-life log pertaining to the treatment of cancer patients in a large hospital.
引用
收藏
页码:457 / 472
页数:16
相关论文
共 50 条
[21]   A Verification Method for Collaborative Business Processes [J].
Roa, Jorge ;
Chiotti, Omar ;
Villarreal, Pablo .
BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I, 2012, 99 :293-+
[22]   Formal design and verification of business processes [J].
Ding M. ;
Zhang S.-L. ;
Zhang C. .
Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology, 2016, 36 (11) :1147-1153
[23]   Automated runtime repair of business processes [J].
van Beest, N. R. T. P. ;
Kaldeli, E. ;
Bulanov, R. ;
Wortmann, J. C. ;
Lazovik, A. .
INFORMATION SYSTEMS, 2014, 39 :45-79
[24]   Models and methods of the business processes theory [J].
Kalyanov, Georgyi N. .
2017 TENTH INTERNATIONAL CONFERENCE MANAGEMENT OF LARGE-SCALE SYSTEM DEVELOPMENT (MLSD), 2017,
[25]   Automatic Compositional Verification of Business Processes [J].
Mendoza, Luis E. ;
Capel, Manuel I. .
ENTERPRISE INFORMATION SYSTEMS-BK, 2009, 24 :479-+
[26]   A Hierarchical Approach for Configuring Business Processes [J].
Baran, Mateusz ;
Kluza, Krzysztof ;
Nalepa, Grzegorz J. ;
Ligeza, Antoni .
2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, :915-921
[27]   An employee-centered perspective on business processes: measuring "healthy business processes" and their relationships with people and performance outcomes [J].
Reif, Julia A. M. ;
Kugler, Katharina G. ;
Stockkamp, Mariella T. ;
Richter, Selina S. ;
Benning, Valerie M. ;
Muschaweck, Lina A. ;
Brodbeck, Felix C. .
BUSINESS PROCESS MANAGEMENT JOURNAL, 2022, 28 (02) :398-418
[28]   Compliance validation and diagnosis of business data constraints in business processes at runtime [J].
Teresa Gomez-Lopez, Maria ;
Gasca, Rafael M. ;
Miguel Perez-Alvarez, Jose .
INFORMATION SYSTEMS, 2015, 48 :26-43
[29]   Temporal stability in predictive process monitoring [J].
Teinemaa, Irene ;
Dumas, Marlon ;
Leontjeva, Anna ;
Maggi, Fabrizio Maria .
DATA MINING AND KNOWLEDGE DISCOVERY, 2018, 32 (05) :1306-1338
[30]   Temporal stability in predictive process monitoring [J].
Irene Teinemaa ;
Marlon Dumas ;
Anna Leontjeva ;
Fabrizio Maria Maggi .
Data Mining and Knowledge Discovery, 2018, 32 :1306-1338