Quotation Di Ciccio, Claudio, Mendling, Jan, Maggi, Fabrizio Maria, Montali, Marco. 2018. On the relevance of a business constraint to an event log. Information Systems (IS). 78 144-161.




Declarative process modeling languages such as declare describe the behavior of processes by means of constraints. Such constraints exert rules on the execution of tasks upon the execution of other tasks called activations. The constraint is thus fulfilled both if it is activated and the consequent rule is respected, or if it is not activated at all. The latter case, named vacuous satisfaction, is clearly less interesting than the former. Such a distinction becomes of utmost importance in the context of declarative process mining techniques, where processes are analyzed based on the identification of the most relevant constraints valid in an event log. 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 techniques inapplicable when the target constraint language is extensible, and may contain formulae that go beyond the pre-defined patterns. In this paper, we tackle this 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. Our solution relies on the annotation of finite state automata to incorporate relevance-related information. We discuss the formal grounding of our approach and describe the implementation thereof. We finally report on experimental results gathered from the application of our approach to real-life data, which show the advantages and feasibility of our solution.


Press 'enter' for creating the tag

Publication's profile

Status of publication Published
Affiliation WU
Type of publication Journal article
Journal Information Systems (IS)
Citation Index SCI
WU Journalrating 2009 A
WU-Journal-Rating new INF-A, STRAT-B, WH-B
Language English
Title On the relevance of a business constraint to an event log
Volume 78
Year 2018
Page from 144
Page to 161
DOI http://dx.doi.org/10.1016/j.is.2018.01.011
Open Access N


Di Ciccio, Claudio (Former researcher)
Mendling, Jan (Details)
Maggi, Fabrizio Maria (University of Tartu, Estonia)
Montali, Marco (Free University of Bozen, Italy)
Institute for Data, Process and Knowledge Management (AE Sabou) (Details)
Research areas (Ă–STAT Classification 'Statistik Austria')
1105 Computer software (Details)
1108 Informatics (Details)
1109 Information and data processing (Details)
1112 Logistics (Details)
1122 Artificial intelligence (Details)
1161 Human-computer interaction (Details)
5306 Business data processing (Details)
5367 Management information systems (Details)
Google Scholar: Search