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)2024
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systemsArticle

Authors: Tim Kräuter ; Adrian Rutle ; Harald König ; Yngve Lamo

    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.


    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

    Consultation statistics

    This page has been seen 334 times.
    This article's PDF has been downloaded 88 times.