Process Discovery under Precedence Constraints

被引:32
作者
Greco, Gianluigi [1 ]
Guzzo, Antonella [2 ]
Lupia, Francesco [2 ]
Pontieri, Luigi [3 ]
机构
[1] Univ Calabria, Dipartimento Matemat & Informat, I-87036 Arcavacata Di Rende, CS, Italy
[2] Univ Calabria, Dipartimento DIMES, I-87036 Arcavacata Di Rende, CS, Italy
[3] CNR, ICAR, I-87036 Arcavacata Di Rende, CS, Italy
关键词
Algorithms; Process mining; graph analysis; computational complexity; MINING PROCESS MODELS; CONFORMANCE CHECKING; WORKFLOW MODELS; HISTORY;
D O I
10.1145/2710020
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Process discovery has emerged as a powerful approach to support the analysis and the design of complex processes. It consists of analyzing a set of traces registering the sequence of tasks performed along several enactments of a transactional system, in order to build a process model that can explain all the episodes recorded over them. An approach to accomplish this task is presented that can benefit from the background knowledge that, in many cases, is available to the analysts taking care of the process (re-) design. The approach is based on encoding the information gathered from the log and the (possibly) given background knowledge in terms of precedence constraints, that is, of constraints over the topology of the resulting process models. Mining algorithms are eventually formulated in terms of reasoning problems over precedence constraints, and the computational complexity of such problems is thoroughly analyzed by tracing their tractability frontier. Solution algorithms are proposed and their properties analyzed. These algorithms have been implemented in a prototype system, and results of a thorough experimental activity are discussed.
引用
收藏
页码:1 / 39
页数:39
相关论文
共 50 条
[31]   Process Mining: On the Fly Process Discovery [J].
Boushaba, Souhail ;
Issam Kabbaj, Mohammed ;
Bakkoury, Zohra ;
Mohamed Matais, Said .
PROCEEDINGS OF THE MEDITERRANEAN CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGIES 2015 (MEDCT 2015), VOL 2, 2016, 381 :79-89
[32]   Process Discovery Automated Approach for Block Discovery [J].
Boushaba, Souhail ;
Issam Kabbaj, Mohammed ;
Bakkoury, Zohra .
PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), 2014, :204-211
[33]   Incremental Process Discovery [J].
Sole, Marc ;
Carmona, Josep .
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY V, 2012, 6900 :221-242
[34]   Checking Constraints for Object-Centric Process Executions [J].
Li, Tian ;
Park, Gyunam ;
van der Aalst, Wil M. P. .
PROCESS MINING WORKSHOPS, ICPM 2023, 2024, 503 :392-405
[35]   DisCoveR: accurate and efficient discovery of declarative process models [J].
Back, Christoffer Olling ;
Slaats, Tijs ;
Hildebrandt, Thomas Troels ;
Marquard, Morten .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (04) :563-587
[36]   Controlled automated discovery of collections of business process models [J].
Garcia-Banuelos, Luciano ;
Dumas, Marlon ;
La Rosa, Marcello ;
De Weerdt, Jochen ;
Ekanayake, Chathura C. .
INFORMATION SYSTEMS, 2014, 46 :85-101
[37]   Conformance Checking and Discovery of Information Service Request Process [J].
Khaosanoi, Liam ;
Limpiyakorn, Yachai .
2021 14TH INTERNATIONAL CONGRESS ON IMAGE AND SIGNAL PROCESSING, BIOMEDICAL ENGINEERING AND INFORMATICS (CISP-BMEI 2021), 2021,
[38]   Scheduling of parallel machines to minimize total completion time subject to s-precedence constraints [J].
Kim, Eun-Seok ;
Sung, Chang-Sup ;
Lee, Ik-Sun .
COMPUTERS & OPERATIONS RESEARCH, 2009, 36 (03) :698-710
[39]   Shared Recovery for Energy Efficiency and Reliability Enhancements in Real-Time Applications with Precedence Constraints [J].
Zhao, Baoxian ;
Aydin, Hakan ;
Zhu, Dakai .
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2013, 18 (02)
[40]   Business Process Discovery by Using Process Skeletonization [J].
Kudo, Michiharu ;
Ishida, Ai ;
Sato, Naoto .
2013 INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY & INTERNET-BASED SYSTEMS (SITIS), 2013, :976-982