A large share of the literature on process mining based on declarative process modeling languages, like declare, relies on the notion of constraint activation to distinguish between the case in which a process execution recorded in event data “vacuously” satisfies a constraint, or satisfies the constraint in an “interesting way”. This finegrained indicator is then used to decide whether a candidate constraint supported by the analyzed event log is indeed relevant or not. Unfortunately, this notion of relevance has never been formally defined, and all the proposals existing in the literature use ad-hoc definitions that are only applicable to a pre-defined set of constraint patterns. This makes existing declarative process mining technique inapplicable when the target constraint language is extensible and may contain formulae that go beyond pre-defined patterns. In this paper, we tackle this hot, open challenge and show how the notion of constraint activation and vacuous satisfaction can be captured semantically, in the case of constraints expressed in arbitrary temporal logics over finite traces. We then extend the standard automata-based approach so as to incorporate relevance-related information. We finally report on an implementation and experimentation of the approach that confirms the advantages and feasibility of our solution.

Semantical Vacuity Detection in Declarative Process Mining / Maggi, FABRIZIO MARIA; Montali, Marco; DI CICCIO, Claudio; Mendling, Jan. - (2016), pp. 158-175. (Intervento presentato al convegno International Conference on Business Process Management, BPM 2016 tenutosi a Rio de Janeiro; Brazil) [10.1007/978-3-319-45348-4_10].

Semantical Vacuity Detection in Declarative Process Mining

Fabrizio Maria Maggi;Marco Montali;Claudio Di Ciccio
;
2016

Abstract

A large share of the literature on process mining based on declarative process modeling languages, like declare, relies on the notion of constraint activation to distinguish between the case in which a process execution recorded in event data “vacuously” satisfies a constraint, or satisfies the constraint in an “interesting way”. This finegrained indicator is then used to decide whether a candidate constraint supported by the analyzed event log is indeed relevant or not. Unfortunately, this notion of relevance has never been formally defined, and all the proposals existing in the literature use ad-hoc definitions that are only applicable to a pre-defined set of constraint patterns. This makes existing declarative process mining technique inapplicable when the target constraint language is extensible and may contain formulae that go beyond pre-defined patterns. In this paper, we tackle this hot, open challenge and show how the notion of constraint activation and vacuous satisfaction can be captured semantically, in the case of constraints expressed in arbitrary temporal logics over finite traces. We then extend the standard automata-based approach so as to incorporate relevance-related information. We finally report on an implementation and experimentation of the approach that confirms the advantages and feasibility of our solution.
2016
International Conference on Business Process Management, BPM 2016
Vacuity detection; Declarative process mining; Constraint activation
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Semantical Vacuity Detection in Declarative Process Mining / Maggi, FABRIZIO MARIA; Montali, Marco; DI CICCIO, Claudio; Mendling, Jan. - (2016), pp. 158-175. (Intervento presentato al convegno International Conference on Business Process Management, BPM 2016 tenutosi a Rio de Janeiro; Brazil) [10.1007/978-3-319-45348-4_10].
File allegati a questo prodotto
File Dimensione Formato  
Maggi_Semantical-Vacuity_2016.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 565.49 kB
Formato Adobe PDF
565.49 kB Adobe PDF   Contatta l'autore
Maggi_Postprint_Semantical-Vacuity_2016.pdf

accesso aperto

Note: https://link.springer.com/chapter/10.1007/978-3-319-45348-4_10
Tipologia: Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 341.71 kB
Formato Adobe PDF
341.71 kB Adobe PDF

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/11573/1372931
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? 10
social impact