Cover Image

Automaton-based comparison of Declare process models

CC BY

Saved in:
Bibliographic Details
Main Authors: Nicolai, Schützenmeier, Martin, Käppel, Lars, Ackermann
Format: Book
Language:English
Published: Springer 2023
Subjects:
Declare process modeling language
Online Access:https://link.springer.com/article/10.1007/s10270-022-01069-y
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7725
Tags: Add Tag
No Tags, Be the first to tag this record!
id oai:localhost:PNK-7725
record_format dspace
spelling oai:localhost:PNK-77252023-04-10T06:53:56Z Automaton-based comparison of Declare process models Nicolai, Schützenmeier Martin, Käppel Lars, Ackermann Declare process modeling language CC BY 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. 2023-04-10T06:53:56Z 2023-04-10T06:53:56Z 2023 Book https://link.springer.com/article/10.1007/s10270-022-01069-y https://dlib.phenikaa-uni.edu.vn/handle/PNK/7725 en application/pdf Springer
institution Digital Phenikaa
collection Digital Phenikaa
language English
topic Declare process modeling language
spellingShingle Declare process modeling language
Nicolai, Schützenmeier
Martin, Käppel
Lars, Ackermann
Automaton-based comparison of Declare process models
description CC BY
format Book
author Nicolai, Schützenmeier
Martin, Käppel
Lars, Ackermann
author_facet Nicolai, Schützenmeier
Martin, Käppel
Lars, Ackermann
author_sort Nicolai, Schützenmeier
title Automaton-based comparison of Declare process models
title_short Automaton-based comparison of Declare process models
title_full Automaton-based comparison of Declare process models
title_fullStr Automaton-based comparison of Declare process models
title_full_unstemmed Automaton-based comparison of Declare process models
title_sort automaton-based comparison of declare process models
publisher Springer
publishDate 2023
url https://link.springer.com/article/10.1007/s10270-022-01069-y
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7725
_version_ 1762818481724588032
score 8.891145

Similar Items