Download PDFOpen PDF in browser

Formalization and Analysis of BPMN Using Graph Transformation Systems

EasyChair Preprint no. 8626

10 pagesDate: August 9, 2022


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

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  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 no. 8626},

  year = {EasyChair, 2022}}
Download PDFOpen PDF in browser