EPub Bayreuth

Publications by the same author

in the repository

in Google Scholar

Bibliografische Daten exportieren

Automaton-based comparison of Declare process models

DOI zum Zitieren der Version auf EPub Bayreuth: https://doi.org/10.15495/EPub_UBT_00007179
URN to cite this document: urn:nbn:de:bvb:703-epub-7179-5

Title data

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

Format:	PDF
Name:	s10270-022-01069-y.pdf
Version:	Published Version
Available under License	Creative Commons BY 4.0: Attribution

Download (1MB)

Related URLs

Corrigendum

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.

Further data

Item Type:	Article in a journal
Keywords:	Business process modeling; Declare; Model comparison; Declarative process management; Automata theory
DDC Subjects:	000 Computer Science, information, general works > 004 Computer science 000 Computer Science, information, general works > 050 General serials and their indexes
Institutions of the University:	Faculties 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 > 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
Language:	English
Originates at UBT:	Yes
URN:	urn:nbn:de:bvb:703-epub-7179-5
Date Deposited:	22 Aug 2023 07:53
Last Modified:	22 Aug 2023 07:54
URI:	https://epub.uni-bayreuth.de/id/eprint/7179

Download Statistics

Downloads

Downloads per month over past year