Quotation Maggi, Fabrizio Maria, Montali, Marco, Di Ciccio, Claudio, Mendling, Jan. 2016. Semantical Vacuity Detection in Declarative Process Mining. In Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings, Hrsg. Marcello La Rosa, Peter Loos, Oscar Pastor, 158-175. Rio de Janeiro, Brazil: Springer Lecture Notes in Computer Science (LNCS).


RIS


BibTeX

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 fine-grained 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.

Tags

Press 'enter' for creating the tag

Publication's profile

Status of publication Published
Affiliation WU
Type of publication Contribution to conference proceedings
Language English
Title Semantical Vacuity Detection in Declarative Process Mining
Title of whole publication Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
Editor Marcello La Rosa, Peter Loos, Oscar Pastor
Page from 158
Page to 175
Location Rio de Janeiro, Brazil
Publisher Springer Lecture Notes in Computer Science (LNCS)
Year 2016
URL http://dx.doi.org/10.1007/978-3-319-45348-4_10

Associations

People
Di Ciccio, Claudio (Details)
Mendling, Jan (Details)
External
Maggi, Fabrizio Maria (University of Tartu, Estonia)
Montali, Marco (Free University of Bolzano-Bozen, Italy)
Organization
Applied Information Technology with Focus on IT in Organization (Details)
Research areas (Ă–STAT Classification 'Statistik Austria')
1105 Computer software (Details)
1108 Informatics (Details)
1109 Information and data processing (Details)
1122 Artificial intelligence (Details)
1127 Information science (Details)
5367 Management information systems (Details)
Google Scholar: Search