 |
 |
Tim Kräuter ; Adrian Rutle ; Harald König ; Yngve Lamo - A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
lmcs:12533 - Logical Methods in Computer Science, October 7, 2024, Volume 20, Issue 4 - https://doi.org/10.46298/lmcs-20(4:4)2024A higher-order transformation approach to the formalization and analysis
of BPMN using graph transformation systemsArticle
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.
Source: arXiv.org:2311.05243
Volume: Volume 20, Issue 4
Published on: October 7, 2024
Accepted on: August 12, 2024
Submitted on: November 10, 2023
Keywords: Computer Science - Software Engineering
Classifications
Mathematics Subject Classification 20201
Consultation statistics
This page has been seen 926 times.
This article's PDF has been downloaded 422 times.