Formalization and Analysis of BPMN Using Graph Transformation Systems

EasyChair Preprint 8626

Abstract

The 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 constructs and difficulties in checking behavioral properties. Other approaches to formalizing BPMN’s execution semantics only partially cover BPMN. To this end, we propose a formalization that, compared to other approaches, covers most of the BPMN constructs. Our approach is based on a model transformation from BPMN models to graph grammars. As a proof of concept, we have implemented our approach in an open-source web-based tool.

Keyphrases: BPMN, graph transformations, model checking, process modeling

@booklet{EasyChair:8626,
  author    = {Tim Kräuter and Harald König and Adrian Rutle and Yngve Lamo},
  title     = {Formalization and Analysis of BPMN Using Graph Transformation Systems},
  howpublished = {EasyChair Preprint 8626},
  year      = {EasyChair, 2022}}