In a variety of application domains, (business) processes are intrinsically uncertain. Surprisingly, only very few languages and techniques in BPM consider uncertainty as a first-class citizen. This is also the case in declarative processes, which typically require that process executions satisfy all the elicited process constraints. We counteract this limitation by introducing the notion of probabilistic process constraint. We show how to characterize the semantics of probabilistic process constraints through the interplay of time and probability, and how it is possible to reason over such constraints by loosely coupling temporal and probabilistic reasoning. We then rely on this approach to redefine several key process mining tasks in the light of uncertainty. First, we discuss how probabilistic constraints can be discovered from event data by employing, off-the-shelf, existing algorithms for declarative process discovery. Second, we study how to carry out monitoring, obtaining a setting where a monitored partial trace may be in multiple monitoring states at the same time, though with different probabilities. Third, we handle conformance checking both at the trace and event log level, in the latter case providing a notion of earth mover's distance that suits with our context. All the presented techniques have been implemented in proof-of-concept prototypes.

Alman, A., Maggi, F., Montali, M., Penaloza, R. (2022). Probabilistic declarative process mining. INFORMATION SYSTEMS, 109(November 2022) [10.1016/j.is.2022.102033].

Probabilistic declarative process mining

Penaloza R.
2022

Abstract

In a variety of application domains, (business) processes are intrinsically uncertain. Surprisingly, only very few languages and techniques in BPM consider uncertainty as a first-class citizen. This is also the case in declarative processes, which typically require that process executions satisfy all the elicited process constraints. We counteract this limitation by introducing the notion of probabilistic process constraint. We show how to characterize the semantics of probabilistic process constraints through the interplay of time and probability, and how it is possible to reason over such constraints by loosely coupling temporal and probabilistic reasoning. We then rely on this approach to redefine several key process mining tasks in the light of uncertainty. First, we discuss how probabilistic constraints can be discovered from event data by employing, off-the-shelf, existing algorithms for declarative process discovery. Second, we study how to carry out monitoring, obtaining a setting where a monitored partial trace may be in multiple monitoring states at the same time, though with different probabilities. Third, we handle conformance checking both at the trace and event log level, in the latter case providing a notion of earth mover's distance that suits with our context. All the presented techniques have been implemented in proof-of-concept prototypes.
Articolo in rivista - Articolo scientifico
Declarative processes; Probabilistic conformance checking; Probabilistic monitoring; Probabilistic process discovery; Probabilistic temporal reasoning;
English
18-apr-2022
2022
109
November 2022
102033
reserved
Alman, A., Maggi, F., Montali, M., Penaloza, R. (2022). Probabilistic declarative process mining. INFORMATION SYSTEMS, 109(November 2022) [10.1016/j.is.2022.102033].
File in questo prodotto:
File Dimensione Formato  
Alman-2022-IS-VoR.pdf

Solo gestori archivio

Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Licenza: Tutti i diritti riservati
Dimensione 682.44 kB
Formato Adobe PDF
682.44 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/394728
Citazioni
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 5
Social impact