A Principled Approach to the Analysis of Process Mining Algorithms

Author(s):  
Phil Weber ◽  
Behzad Bordbar ◽  
Peter Tiňo
Author(s):  
Tuğba Gürgen ◽  
Ayça Tarhan ◽  
N. Alpay Karagöz

The verification of process implementations according to specifications is a critical step of process management. This verification must be practiced according to objective criteria and evidence. This study explains an integrated infrastructure that utilizes process mining for software process verification and case studies carried out by using this infrastructure. Specific software providing the utilization of process mining algorithms for software process verification is developed as a plugin to an open-source EPF Composer tool that supports the management of software and system engineering processes. With three case studies, bug management, task management, and defect management processes are verified against defined and established process models (modeled by using EPF Composer) by using this plugin over real process data. Among these, the results of the case study performed in a large, leading IT solutions company in Turkey are remarkable in demonstrating the opportunities for process improvement.


2021 ◽  
pp. 258-270
Author(s):  
André Filipe Domingos Gomes ◽  
Ana Cristina Wanzeller Guedes de Lacerda ◽  
Joana Rita da Silva Fialho

2021 ◽  
pp. 27-43
Author(s):  
André Filipe Domingos Gomes ◽  
Ana Cristina Wanzeller Guedes de Lacerda ◽  
Joana Rita da Silva Fialho

Algorithms ◽  
2020 ◽  
Vol 13 (11) ◽  
pp. 279
Author(s):  
Sebastiaan J. van Zelst ◽  
Sander J. J. Leemans

Since their introduction, process trees have been frequently used as a process modeling formalism in many process mining algorithms. A process tree is a (mathematical) tree-based model of a process, in which internal vertices represent behavioral control-flow relations and leaves represent process activities. Translation of a process tree into a sound workflow net is trivial. However, the reverse is not the case. Simultaneously, an algorithm that translates a WF-net into a process tree is of great interest, e.g., the explicit knowledge of the control-flow hierarchy in a WF-net allows one to reason on its behavior more easily. Hence, in this paper, we present such an algorithm, i.e., it detects whether a WF-net corresponds to a process tree, and, if so, constructs it. We prove that, if the algorithm finds a process tree, the language of the process tree is equal to the language of the original WF-net. The experiments conducted show that the algorithm’s corresponding implementation has a quadratic time complexity in the size of the WF-net. Furthermore, the experiments show strong evidence of process tree rediscoverability.


Author(s):  
Guntur P. Kusuma ◽  
Angelina P. Kurniati ◽  
Eric Rojas ◽  
Ciarán D. McInerney ◽  
Chris P. Gale ◽  
...  

Disease trajectories model patterns of disease over time and can be mined by extracting diagnosis codes from electronic health records (EHR). Process mining provides a mature set of methods and tools that has been used to mine care pathways using event data from EHRs and could be applied to disease trajectories. This paper presents a literature review on process mining related to mining disease trajectories using EHRs. Our review identified 156 papers of potential interest but only four papers which directly applied process mining to disease trajectory modelling. These four papers are presented in detail covering data source, size, selection criteria, selections of the process mining algorithms, trajectory definition strategies, model visualisations, and the methods of evaluation. The literature review lays the foundations for further research leveraging the established benefits of process mining for the emerging data mining of disease trajectories.


Author(s):  
Tuğba Gürgen ◽  
Ayça Tarhan ◽  
N. Alpay Karagöz

The verification of process implementations according to specifications is a critical step of process management. This verification must be practiced according to objective criteria and evidence. This study explains an integrated infrastructure that utilizes process mining for software process verification and case studies carried out by using this infrastructure. Specific software providing the utilization of process mining algorithms for software process verification is developed as a plugin to an open-source EPF Composer tool that supports the management of software and system engineering processes. With three case studies, bug management, task management, and defect management processes are verified against defined and established process models (modeled by using EPF Composer) by using this plugin over real process data. Among these, the results of the case study performed in a large, leading IT solutions company in Turkey are remarkable in demonstrating the opportunities for process improvement.


Author(s):  
Dianmin Yue ◽  
Xiaodan Wu ◽  
Haiyan Wang ◽  
Junbo Bai

2013 ◽  
Vol 6 (4) ◽  
pp. 484-496 ◽  
Author(s):  
Jianmin Wang ◽  
Raymond K. Wong ◽  
Jianwei Ding ◽  
Qinlong Guo ◽  
Lijie Wen

2014 ◽  
Vol 989-994 ◽  
pp. 1924-1929
Author(s):  
Hong Li ◽  
Yu Wei ◽  
Lin Liu ◽  
Shao Wen Yao ◽  
Jun Yang

Process mining is helpful for deploying new business processes as well as auditing, analyzing and improving the already enacted ones. This paper summarizes the scholars’ main studies in workflow mining, introduces the modeling process of two different kinds of mining algorithms in detail, compares and analyzes their performances, and explains the modeling process with an actual example.


Sign in / Sign up

Export Citation Format

Share Document