Formalization and Analysis of BPMN Using Graph Transformation Systems
Original version
Lecture Notes in Computer Science (LNCS). 2023, 13961 (Graph Transformation. ICGT 2023), 204-222. 10.1007/978-3-031-36709-0_11Abstract
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 paper, we propose a formalization of the execution semantics of BPMN that, compared to existing approaches, covers more BPMN elements while facilitating property checking. Our approach is based on a higher-order transformation from BPMN models to graph transformation systems. As proof of concept, we have implemented our approach in an open-source web-based tool.