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

Bibliografische Daten exportieren
 

Automaton-based comparison of Declare process models

Titelangaben

Schützenmeier, Nicolai ; Käppel, Martin ; Ackermann, Lars ; Jablonski, Stefan ; Petter, Sebastian:
Automaton-based comparison of Declare process models.
In: Software and Systems Modeling. Bd. 22 (2023) . - S. 667-685.
ISSN 1619-1374
DOI: https://doi.org/10.1007/s10270-022-01069-y

Volltext

Link zum Volltext (externe URL): Volltext

Weitere URLs

Abstract

The Declare process modeling language has been established within the research community for modeling so-called flexible processes. Declare follows the declarative modeling paradigm and therefore guarantees flexible process execution. For several reasons, declarative process models turned out to be hard to read and comprehend. Thus, it is also hard to decide whether two process models are equal with respect to their semantic meaning, whether one model is completely contained in another one or how far two models overlap. In this paper, we follow an automaton-based approach by transforming Declare process models into finite state automatons and applying automata theory for solving this issue.

Weitere Angaben

Publikationsform: Artikel in einer Zeitschrift
Begutachteter Beitrag: Ja
Keywords: Business process modeling; Declare; Model comparison; Declarative process management; Automata theory
Institutionen der Universität: Fakultäten
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ä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
000 Informatik,Informationswissenschaft, allgemeine Werke > 050 Zeitschriften, fortlaufende Sammelwerke
Eingestellt am: 06 Dec 2022 06:11
Letzte Änderung: 22 Aug 2023 07:54
URI: https://eref.uni-bayreuth.de/id/eprint/72961