Skip to main content

A Process Semantics for BPMN

Peter Y.H. Wong and Jeremy Gibbons

Abstract

Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the gap between business process design and implementation. However, the specification of the notation does not include a formal semantics. This paper shows how a subset of the BPMN can be given a process semantics in Communicating Sequential Processes. Such a semantics allows developers to formally analyse and compare BPMN diagrams. A simple example of a business process is included.

Book Title
Proceedings of 10th International Conference on Formal Engineering Methods.
Month
October
Series
LNCS
Volume
5256
Year
2008