Automaton-based comparison of Declare process models
CC BY
Lưu vào:
| Tác giả chính: | , , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Nhà xuất bản: |
Springer
2023
|
| Chủ đề: | |
| Truy cập trực tuyến: | https://link.springer.com/article/10.1007/s10270-022-01069-y https://dlib.phenikaa-uni.edu.vn/handle/PNK/7725 |
| Từ khóa: |
Thêm từ khóa
Không có từ khóa, Hãy là người đầu tiên đánh dấu biểu ghi này!
|
| 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 |