Suche nach Personen

plus im Publikationsserver
plus bei Google Scholar

Bibliografische Daten exportieren
 

Language-independent look-ahead for checking multi-perspective declarative process models

DOI zum Zitieren der Version auf EPub Bayreuth: https://doi.org/10.15495/EPub_UBT_00005861
URN zum Zitieren der Version auf EPub Bayreuth: urn:nbn:de:bvb:703-epub-5861-8

Titelangaben

Käppel, Martin ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Language-independent look-ahead for checking multi-perspective declarative process models.
In: Software and Systems Modeling. Bd. 20 (9 Januar 2021) . - S. 1379-1401.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00857-8

Volltext

[thumbnail of Käppel2021_Article_Language-independentLook-ahead.pdf]
Format: PDF
Name: Käppel2021_Article_Language-independentLook-ahead.pdf
Version: Veröffentlichte Version
Verfügbar mit der Lizenz Creative Commons BY 4.0: Namensnennung
Download (1MB)

Abstract

Declarative process modelling languages focus on describing a process by restrictions over the behaviour, which must be satisfied throughout the whole process execution. Hence, they are well suited for modelling knowledge-intensive processes with many decision points. However, such models can be hard to read and understand, which affect the modelling and maintenance of the process models tremendously as well as their execution. When executing such declarative (multi-perspective) process models, it may happen that the execution of activities or the change of data values may result in the non-executability of crucial activities. Hence, it would be beneficial to know all consequences of decisions to give recommendations to the process participants. A look-ahead attempts to predict the effects of executing an activity towards possible consequences within an a priori defined time window. The prediction is based on the current state of the process execution, the intended next event and the underlying process model. While execution engines for single-perspective imperative process models already implement such functionality, execution approaches, for multi-perspective declarative process models that involve constraints on data and resources, are less mature. In this paper, we introduce a simulation-based look-ahead approach for multi-perspective declarative process models. This approach transforms the problem of a context-aware process simulation into a SAT problem, by translating a declarative multi-perspective process model and the current state of a process execution into a specification of the logic language Alloy. Via a SAT solver, process trajectories are generated that either satisfy or violate this specification. The simulated process trajectories are used to derive consequences and effects of certain decisions at any time of process execution. We evaluate our approach by means of three examples and give some advice for further optimizations.

Weitere Angaben

Publikationsform: Artikel in einer Zeitschrift
Keywords: Declarative process models; multi-perspective; look-ahead; model
checking; predictive business process monitoring; SAT solving
Themengebiete aus DDC: 000 Informatik,Informationswissenschaft, allgemeine Werke > 004 Informatik
Institutionen der Universität: 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
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
Sprache: Englisch
Titel an der UBT entstanden: Ja
URN: urn:nbn:de:bvb:703-epub-5861-8
Eingestellt am: 27 Okt 2021 08:05
Letzte Änderung: 27 Okt 2021 08:05
URI: https://epub.uni-bayreuth.de/id/eprint/5861

Downloads

Downloads pro Monat im letzten Jahr