Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

Upper-Bounded Model Checking for Declarative Process Models

Titelangaben

Schützenmeier, Nicolai ; Käppel, Martin ; Petter, Sebastian ; Jablonski, Stefan:
Upper-Bounded Model Checking for Declarative Process Models.
In: Serral, Estefania ; Stirnas, Janis ; Jolita, Ralyté ; Jānis, Grabis (Hrsg.): The Practice of Enterprise Modeling. - Cham : Springer , 2021 . - S. 195-211 . - (Lecture Notes in Business Information Processing ; 432 )
ISBN 978-3-030-91279-6
DOI: https://doi.org/10.1007/978-3-030-91279-6_14

Volltext

Link zum Volltext (externe URL): Volltext

Abstract

Declarative process modelling languages like Declare focus on describing a process by restrictions over the behaviour, which must be satisified throughout process execution. Although this paradigm allows more flexibility, it has been shown that such models are often hard to read and understand,which affects their modelling, execution and maintenance in a negative way. A larger degree of flexibility leads to a multitude of different process models that describe the same process. Often it is difficult for the modeller to keep the model as simple as possible without over- or underspecification. Hence, model checking, especially comparing declarative process models on equality becomes an important task. In this paper, we determine and prove a theoretical upper bound for the trace length up to which the process executions of Declare models must be compared, to decide with certainty whether two process models are equal or not.

Weitere Angaben

Publikationsform: Aufsatz in einem Buch
Begutachteter Beitrag: Ja
Keywords: Linear temporal logic; Model checking; Declarative process management
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
Titel an der UBT entstanden: Ja
Themengebiete aus DDC: 000 Informatik,Informationswissenschaft, allgemeine Werke > 004 Informatik
Eingestellt am: 16 Nov 2021 08:59
Letzte Änderung: 09 Aug 2023 10:41
URI: https://eref.uni-bayreuth.de/id/eprint/67840