Scenario-Based Model Checking of Declarative Process Models

Nicolai Schützenmeier, Martin Käppel, Myriel Fichtner, Stefan Jablonski

2023

Abstract

Modeling processes with declarative process models, i.e. sets of constraints which have to be satisfied throughout the whole process execution, allows for a great degree of flexibility in process execution. However, having a process specified by means of symbolic, textual or formal constraints comes along with the problem that it is often hard for humans to understand complicated interactions of constraints and overlook the entire process model without unintentionally neglecting important process details. Caused by these reasons, standard questions regarding process models, e.g. ”Can a running process instance still be completed successfully?”, can often only be answered with great computational and temporal effort or even not at all. In this paper we present an efficient scenario-based approach for declarative process models, which supports process modelers in checking process models for important and common scenarios which regularly occur when modeling declarative processes. We implement our approach and show that the solutions for the scenarios can be computed within milliseconds even for real-life event logs. Furthermore, a user study conducted demonstrates that the error rate in understanding declarative process models is enormously reduced by using our implementation.

Paper Citation

in Harvard Style

Schützenmeier N., Käppel M., Fichtner M. and Jablonski S. (2023). Scenario-Based Model Checking of Declarative Process Models. In Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-648-4, SciTePress, pages 406-417. DOI: 10.5220/0011856400003467

in Bibtex Style

@conference{iceis23,
author={Nicolai Schützenmeier and Martin Käppel and Myriel Fichtner and Stefan Jablonski},
title={Scenario-Based Model Checking of Declarative Process Models},
booktitle={Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2023},
pages={406-417},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011856400003467},
isbn={978-989-758-648-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Scenario-Based Model Checking of Declarative Process Models
SN - 978-989-758-648-4
AU - Schützenmeier N.
AU - Käppel M.
AU - Fichtner M.
AU - Jablonski S.
PY - 2023
SP - 406
EP - 417
DO - 10.5220/0011856400003467
PB - SciTePress