Declarative process models define the behaviour of business processes as a set of constraints. Declarative process discovery aims at inferring such constraints from event logs. Existing discovery techniques verify the satisfaction of candidate constraints over the log, but completely neglect their interactions. As a result, the inferred constraints can be mutually contradicting and their interplay may lead to an inconsistent process model that does not accept any trace. In such a case, the output turns out to be unusable for enactment, simulation or verification purposes. In addition, the discovered model contains, in general, redundancies that are due to complex interactions of several constraints and that cannot be solved using existing pruning approaches. We address these problems by proposing a technique that automatically resolves conflicts within the discovered models and is more powerful than existing pruning techniques to eliminate redundancies. First, we formally define the problems of constraint redundancy and conflict resolution. Thereafter, we introduce techniques based on the notion of an automata-product monoid that guarantee the consistency of the discovered models and, at the same time, keep the most interesting constraints in the pruned set. We evaluate the devised techniques on real-world benchmarks.

Ensuring model consistency in declarative process discovery / DI CICCIO, Claudio; Maggi, FABRIZIO MARIA; Montali, Marco; Mendling, Jan. - 9253:(2015), pp. 144-159. (Intervento presentato al convegno 13th International Conference on Business Process Management, BPM 2015 tenutosi a Innsbruck; Austria) [10.1007/978-3-319-23063-4_9].

Ensuring model consistency in declarative process discovery

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

Abstract

Declarative process models define the behaviour of business processes as a set of constraints. Declarative process discovery aims at inferring such constraints from event logs. Existing discovery techniques verify the satisfaction of candidate constraints over the log, but completely neglect their interactions. As a result, the inferred constraints can be mutually contradicting and their interplay may lead to an inconsistent process model that does not accept any trace. In such a case, the output turns out to be unusable for enactment, simulation or verification purposes. In addition, the discovered model contains, in general, redundancies that are due to complex interactions of several constraints and that cannot be solved using existing pruning approaches. We address these problems by proposing a technique that automatically resolves conflicts within the discovered models and is more powerful than existing pruning techniques to eliminate redundancies. First, we formally define the problems of constraint redundancy and conflict resolution. Thereafter, we introduce techniques based on the notion of an automata-product monoid that guarantee the consistency of the discovered models and, at the same time, keep the most interesting constraints in the pruned set. We evaluate the devised techniques on real-world benchmarks.
2015
13th International Conference on Business Process Management, BPM 2015
industry; enterprise resource management; knowledge workers
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Ensuring model consistency in declarative process discovery / DI CICCIO, Claudio; Maggi, FABRIZIO MARIA; Montali, Marco; Mendling, Jan. - 9253:(2015), pp. 144-159. (Intervento presentato al convegno 13th International Conference on Business Process Management, BPM 2015 tenutosi a Innsbruck; Austria) [10.1007/978-3-319-23063-4_9].
File allegati a questo prodotto
File Dimensione Formato  
DiCiccio_Ensuring_2015.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 1.01 MB
Formato Adobe PDF
1.01 MB Adobe PDF   Contatta l'autore
DiCiccio_Postprint_Ensuring_2015.pdf

accesso aperto

Note: https://link.springer.com/chapter/10.1007/978-3-319-23063-4_9
Tipologia: Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 1.37 MB
Formato Adobe PDF
1.37 MB 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/1372937
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 16
social impact