Quotation Corea, Carl, Nagel, Sabine, Mendling, Jan, Delfmann, Patrick. 2021. Interactive and Minimal Repair of Declarative Process Models. Lecture Notes in Business Information Processing. 3-19.




We present an approach for resolving inconsistencies in declarative process models while guaranteeing a minimal information loss (w.r.t. the number of deleted elements). To this aim, we show how smallest correction sets, i.e., the smallest sets of constraints that need to be deleted in order to resolve inconsistencies, can be computed via an application of Reiter’s hitting set theorem. In this context, as deleting certain constraints might be highly sensitive or not plausible in a real-life sense, we extend our approach with functionalities for enabling a close human-in-the-loop interaction, such as prioritizing constraints, as well as metrics that offer modelers insights into the impact of deleting constraints. Furthermore, we implement our approach and show that our inconsistency resolution approach outperforms existing approaches in terms of runtime and information loss in experiments with real-life data sets.


Press 'enter' for creating the tag

Publication's profile

Status of publication Published
Affiliation WU
Type of publication Journal article
Journal Lecture Notes in Business Information Processing
WU-Journal-Rating new STRAT-C
Language English
Title Interactive and Minimal Repair of Declarative Process Models
Year 2021
Page from 3
Page to 19
URL https://link.springer.com/content/pdf/10.1007/978-3-030-85440-9_1
DOI http://dx.doi.org/10.1007/978-3-030-85440-9_1
Open Access N


Mendling, Jan (Details)
Corea, Carl (University of Koblenz-Landau, Germany)
Delfmann, Patrick (University of Koblenz-Landau, Germany)
Nagel, Sabine (University of Koblenz-Landau, Germany)
Institute for Data, Process and Knowledge Management IN (Details)
Research areas (ÖSTAT Classification 'Statistik Austria')
5367 Management information systems (Details)
Google Scholar: Search