at Google ScholarTitle data
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
. - pp. 406-417
ISBN 978-989-758-648-4
DOI: https://doi.org/10.5220/0011856400003467
Abstract in another language
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.
Further data
| Item Type: | Article in a book |
|---|---|
| Refereed: | Yes |
| Keywords: | Business Process Management; Declarative Process Management; Declare; Model Verification |
| Institutions of the University: | Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science > Chair Applied Computer Science IV > Chair Applied Computer Science IV - Univ.-Prof. Dr.-Ing. Stefan Jablonski Faculties Faculties > Faculty of Mathematics, Physics und Computer Science Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science > Chair Applied Computer Science IV |
| Result of work at the UBT: | Yes |
| DDC Subjects: | 000 Computer Science, information, general works > 004 Computer science |
| Date Deposited: | 02 May 2023 06:28 |
| Last Modified: | 08 May 2023 05:22 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/76123 |