Automated discovery of process models from event logs: Review and benchmark

A Augusto, R Conforti, M Dumas… - IEEE transactions on …, 2018 - ieeexplore.ieee.org
Process mining allows analysts to exploit logs of historical executions of business processes
to extract insights regarding the actual performance of these processes. One of the most …

Conformance checking based on multi-perspective declarative process models

A Burattin, FM Maggi, A Sperduti - Expert systems with applications, 2016 - Elsevier
Process mining is a family of techniques that aim at analyzing business process execution
data recorded in event logs. Conformance checking is a branch of this discipline embracing …

Declarative process mining in healthcare

M Rovani, FM Maggi, M De Leoni… - Expert Systems with …, 2015 - Elsevier
Clinical guidelines aim at improving the quality of care processes through evidence-based
insights. However, there may be good reasons to deviate from such guidelines or the …

Aligning event logs and declarative process models for conformance checking

M De Leoni, FM Maggi, WMP van der Aalst - … Process Management: 10th …, 2012 - Springer
Process mining can be seen as the “missing link” between data mining and business
process management. Although nowadays, in the context of process mining, process …

Robust Process Mining with Guarantees.

SJJ Leemans - BPM (Dissertation/Demos/Industry), 2018 - Springer
Due to the omnipresence of digitally supported processes and storage facilities nowadays,
plenty of organisational data is available in the typical organisation. Process mining aims to …

An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data

M De Leoni, FM Maggi, WMP Van Der Aalst - Information Systems, 2015 - Elsevier
Process mining can be seen as the “missing link” between data mining and business
process management. The lion's share of process mining research has been devoted to the …

Declarative modeling–an academic dream or the future for BPM?

HA Reijers, T Slaats, C Stahl - … , BPM 2013, Bei**g, China, August 26-30 …, 2013 - Springer
Declarative modeling has attracted much attention over the last years, resulting in the
development of several academic declarative modeling techniques and tools. The absence …

From natural language to workflows: Towards emergent intelligence in robotic process automation

T Chakraborti, Y Rizk, V Isahagian, B Aksar… - … Conference on Business …, 2022 - Springer
RPA technologies allow the automation of repeated processes through indirect or direct
instruction from the end-user. While declarative authoring techniques provide a powerful tool …

Rule mining with RuM

A Alman, C Di Ciccio, D Haas… - … on Process Mining …, 2020 - ieeexplore.ieee.org
Declarative process modeling languages are especially suitable to model loosely-
structured, unpredictable business processes. One of the most prominent of these …

On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment

G De Giacomo, FM Maggi, A Marrella… - Proceedings of the AAAI …, 2017 - ojs.aaai.org
One major task in business process management is that of aligning real process execution
traces to a process model by (minimally) introducing and eliminating steps. Here, we look at …