Logic Based Look-Ahead for the Execution of Multi-perspective Declarative Processes
Käppel M, Schützenmeier N, Schönig S, Jablonski S (2019)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2019
Publisher: Springer
Series: Lecture Notes in Business Information Processing
City/Town: Cham
Book Volume: 352
Pages Range: 53-68
Conference Proceedings Title: Enterprise, Business-Process and Information Systems Modeling 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Proceedings
Event location: Rom
ISBN: 978-3-030-20617-8
URI: https://link.springer.com/chapter/10.1007/978-3-030-20618-5_4
DOI: 10.1007/978-3-030-20618-5_4
Abstract
In declarative process models all the activities which do not violate a constraint of the process model can be executed. Consequently, the number of viable paths is large. In turn, when considering multiple perspectives during execution, i.e., constraints on resources and data values, it may happen that the execution of activities or the change of data values may result in the non-executability of crucial activities. Execution engines for single-perspective declarative process models have been extensively discussed in research where, among others look-ahead functionality has been investigated. Execution approaches for multi-perspective declarative models that involve constraints on data and resources, however, are less mature. In this paper, we introduce a logic based look-ahead approach for the execution of multi-perspective declarative processes. We use the look-ahead for simulating a fixed number of execution steps with regard to the existing trace and the choice of the next step. The look-ahead allows for estimating all consequences and effects of certain decisions at any time of process execution. We develop an algorithm for trace generation and checking traces using the logic language Alloy. We extensively evaluate our approach by means of a practical example and give some advice for further optimizations.
Authors with CRIS profile
Involved external institutions
Germany (DE)How to cite
APA:
Käppel, M., Schützenmeier, N., Schönig, S., & Jablonski, S. (2019). Logic Based Look-Ahead for the Execution of Multi-perspective Declarative Processes. In Reinhartz-Berger, Iris Zdravkovic, Jelena Gulden, Jens Schmidt, Rainer (Eds.), Enterprise, Business-Process and Information Systems Modeling 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Proceedings (pp. 53-68). Rom, IT: Cham: Springer.
MLA:
Käppel, Martin, et al. "Logic Based Look-Ahead for the Execution of Multi-perspective Declarative Processes." Proceedings of the International Conference on Business Process Modeling, Development and Support, Rom Ed. Reinhartz-Berger, Iris Zdravkovic, Jelena Gulden, Jens Schmidt, Rainer, Cham: Springer, 2019. 53-68.
BibTeX: Download