| Autor: |
Kräuter, Tim, Rutle, Adrian, König, Harald, Lamo, Yngve |
| Rok vydání: |
2023 |
| Předmět: |
|
| Zdroj: |
Logical Methods in Computer Science, Volume 20, Issue 4 (October 7, 2024) lmcs:12533 |
| Druh dokumentu: |
Working Paper |
| DOI: |
10.46298/lmcs-20(4:4)2024 |
| Popis: |
The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different interpretations of BPMN elements and difficulties in checking behavioral properties. In this article, we propose a formalization of the execution semantics of BPMN that, compared to existing approaches, covers more BPMN elements while also facilitating property checking. Our approach is based on a higher-order transformation from BPMN models to graph transformation systems. To show the capabilities of our approach, we implemented it as an open-source web-based tool. |
| Databáze: |
arXiv |
| Externí odkaz: |
|
