Toggle Main Menu Toggle Search

Open Access padlockePrints

Discovering Declarative Process Model Behavior from Event Logs via Model Learning

Lookup NU author(s): Dr Giacomo BergamiORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Declarative business process (BP) models define the behavior of BPs as a set of temporal constraints, which can be summarized as a deterministic finite state automaton (DFA). Declarative BP discovery aims at inferring such constraints from event logs. To this aim, it requires as additional input the set of candidate constraints to be verified with respect to the event log. Intuitively, this restricts the discovery task to a conformance checking activity between a predefined set of constraint templates and an event log, preventing to learn any observed behavior that is not captured by those templates. In this paper, we investigate how to leverage Model Learning (ML) for the automated discovery of the DFA underlying the behavior of a declarative BP model, without using any further a-priori information in addition to the event log. To assess the quality of the discovered DFA, we introduce a novel definition of the standard process mining quality metrics, i.e., precision, generalization and simplicity, tailored to DFAs. Finally, a preliminary evaluation performed with real-life logs shows that ML enables to generate extremely simpler DFAs than state-of-the-art BP declarative discovery techniques, keeping similar values of precision and generalization.

Publication metadata

Author(s): Agostinelli S, Bergami G, Fiorenza A, Maggi FM, Marrella A, Patrizi F

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 3rd International Conference on Process Mining (ICPM)

Year of Conference: 2021

Pages: 48-55

Online publication date: 25/10/2021

Acceptance date: 15/08/2009

ISSN: 9781665435147

Publisher: IEEE


DOI: 10.1109/ICPM53251.2021.9576870