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.
Recommended Citation
Nagel, Sabine and Delfmann, Patrick, "Interactive Resolution of Inconsistencies in Declarative Process Models" (2024). Wirtschaftsinformatik 2024 Proceedings. 69.
https://aisel.aisnet.org/wi2024/69