Interactive Resolution of Inconsistencies in Declarative Process Models

Sabine Nagel () and Patrick Delfmann ()
Additional contact information
Sabine Nagel: University of Koblenz
Patrick Delfmann: University of Koblenz

A chapter in Digital Innovation and Organizational Transformation, 2026, pp 73-86 from Springer

Abstract: Abstract When declarative process models (DPMs) contain contradictory constraints, they immediately become unsatisfiable. Recognizing the challenges of automated inconsistency resolution approaches in real-world scenarios, we present an interactive and comprehensive approach for resolving inconsistencies in DPMs. Our approach targets both design-time and run-time inconsistencies through incremental resolution of inconsistency cores. To guide users effectively and lower the mental effort required during the resolution process, we rank inconsistency cores based on customizable complexity measures. We also consider user preferences and familiarity with different inconsistency characteristics. Additionally, we dynamically integrate prior user decisions and resolution operations to ensure an efficient and user-centric approach. By presenting users with one inconsistency core at a time and providing decision support, our approach aims to minimize cognitive overload. Furthermore, it offers flexibility and adaptability by allowing users to apply their preferred resolution operations, reflecting the complexity of real-world scenarios.

Keywords: Declarative process models; Declare; Inconsistency resolution; Interactive; Human-in-the-loop (search for similar items in EconPapers)
Date: 2026
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:lnichp:978-3-032-08483-5_6

Ordering information: This item can be ordered from
http://www.springer.com/9783032084835

DOI: 10.1007/978-3-032-08483-5_6

Access Statistics for this chapter

More chapters in Lecture Notes in Information Systems and Organization from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().