Quotation Cecconi, Alessio, Di Ciccio, Claudio, De Giacomo, Giuseppe, Mendling, Jan, De Giacomo, Guiseppe. 2018. Interestingness of traces in declarative process mining: The Janus LTLpf approach. In Business Process Management - 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings, Hrsg. Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke, 121-138. Sydney, Australia: Springer.


RIS


BibTeX

Abstract

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLpf). To mine them out of event logs, we devise a time bidirectional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints.

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 Interestingness of traces in declarative process mining: The Janus LTLpf approach
Title of whole publication Business Process Management - 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings
Editor Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke
Page from 121
Page to 138
Location Sydney, Australia
Publisher Springer
Year 2018
ISBN 978-3-319-98647-0
URL https://doi.org/10.1007/978-3-319-98648-7_8
Open Access N

Associations

Projects
RISE_BPM
Cyber-Physical Social Systems for City-wide Infrastructures
People
Cecconi, Alessio (Details)
Di Ciccio, Claudio (Details)
Mendling, Jan (Details)
External
De Giacomo, Giuseppe (Sapienza University of Rome, Italy)
De Giacomo, Guiseppe (Sapienza University of Rome, 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)
5306 Business data processing (Details)
5367 Management information systems (Details)
Google Scholar: Search