Quotation Di Ciccio, Claudio, Maggi, Fabrizio Maria, Montali, Marco, Mendling, Jan. 2015. Ensuring Model Consistency in Declarative Process Discovery. In Business Process Management, 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings, Hrsg. Motahari-Nezhad, Hamid Reza, Recker, Jan, Weidlich, Matthias, S. 144-159. Innsbruck, Austria: Springer.


RIS


BibTeX

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.

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 Ensuring Model Consistency in Declarative Process Discovery
Title of whole publication Business Process Management, 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings
Editor Motahari-Nezhad, Hamid Reza, Recker, Jan, Weidlich, Matthias
Page from 144
Page to 159
Location Innsbruck, Austria
Publisher Springer
Year 2015
ISBN 978-3-319-23062-7
URL http://dx.doi.org/10.1007/978-3-319-23063-4_9

Associations

Projects
European Wide Service Platform for Green European Transportation
People
Di Ciccio, Claudio (Former researcher)
Mendling, Jan (Details)
External
Maggi, Fabrizio Maria (University of Tartu, Estonia)
Montali, Marco (Free University of Bozen-Bolzano, 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)
5306 Business data processing (Details)
5367 Management information systems (Details)
Google Scholar: Search