BPMN 2.0 execution semantics formalized as graph rewrite rules

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Citations (Scopus)
4 Downloads (Pure)


This paper presents a formalization of a subset of the BPMN 2.0 execution semantics in terms of graph rewrite rules. The formalization is supported by graph rewrite tools and implemented in one of these tools, called GrGen. The benefit of formalizing the execution semantics by means of graph rewrite rules is that there is a strong relation between the execution semantics rules that are informally specified in the BPMN 2.0 standard and their formalization. This makes it easy to validate the formalization. Having a formalized and implemented execution semantics supports simulation, animation and execution of BPMN 2.0 models. In particular this paper explains how to use the formal execution semantics to verify workflow engines and service orchestration and choreography engines that use BPMN 2.0 for modeling the processes that they execute.
Original languageEnglish
Title of host publicationBusiness Process Modeling Notation: Proceedings of the Second International Workshop, (BPMN 2010) Potsdam, Germany, October 2010
EditorsJ. Mendling, M. Weidlich
Place of PublicationBerlin
ISBN (Print)978-3-642-16298-5
Publication statusPublished - 2010
Eventconference; 2nd International Workshop on PBMN (PBMN 2010); 2010-10-13; 2010-10-14 -
Duration: 13 Oct 201014 Oct 2010

Publication series

NameLecture Notes in Business Information Processing
ISSN (Print)1865-1348


Conferenceconference; 2nd International Workshop on PBMN (PBMN 2010); 2010-10-13; 2010-10-14
Other2nd International Workshop on PBMN (PBMN 2010)


Dive into the research topics of 'BPMN 2.0 execution semantics formalized as graph rewrite rules'. Together they form a unique fingerprint.

Cite this