A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909339096186880 |
|---|---|
| author | Kräuter, Tim Rutle, Adrian König, Harald Lamo, Yngve |
| author_facet | Kräuter, Tim Rutle, Adrian König, Harald Lamo, Yngve |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_05243 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems Kräuter, Tim Rutle, Adrian König, Harald Lamo, Yngve Software Engineering 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. |
| title | A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2311.05243 |