bei Google ScholarTitelangaben
Schützenmeier, Nicolai ; Käppel, Martin ; Fichtner, Myriel ; Jablonski, Stefan:
Scenario-Based Model Checking of Declarative Process Models.
In:
Proceedings of the 25th International Conference on Enterprise Information Systems. Volume 2. -
Prague
: SciTePress
,
2023
. - S. 406-417
ISBN 978-989-758-648-4
DOI: https://doi.org/10.5220/0011856400003467
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.
Weitere Angaben
| Publikationsform: | Aufsatz in einem Buch |
|---|---|
| Begutachteter Beitrag: | Ja |
| Keywords: | Business Process Management; Declarative Process Management; Declare; Model Verification |
| Institutionen der Universität: | Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Lehrstuhl Angewandte Informatik IV > Lehrstuhl Angewandte Informatik IV - Univ.-Prof. Dr.-Ing. Stefan Jablonski Fakultäten Fakultäten > Fakultät für Mathematik, Physik und Informatik Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Lehrstuhl Angewandte Informatik IV |
| Titel an der UBT entstanden: | Ja |
| Themengebiete aus DDC: | 000 Informatik,Informationswissenschaft, allgemeine Werke > 004 Informatik |
| Eingestellt am: | 02 Mai 2023 06:28 |
| Letzte Änderung: | 08 Mai 2023 05:22 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/76123 |