Semantics and analysis of business process models in BPMN

R.M. Dijkman, M. Dumas, C. Ouyang

Research output: Contribution to journalArticleAcademicpeer-review

531 Citations (Scopus)
3 Downloads (Pure)


The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to create models with semantic errors. Such errors are especially serious, because errors in the early phases of systems development are among the most costly and hardest to correct. The ability to statically check the semantic correctness of models is thus a desirable feature for modelling tools based on BPMN. Accordingly, this paper proposes a mapping from BPMN to a formal language, namely Petri nets, for which efficient analysis techniques are available. The proposed mapping has been implemented as a tool that, in conjunction with existing Petri net-based tools, enables the static analysis of BPMN models. The formalisation also led to the identification of deficiencies in the BPMN standard specification
Original languageEnglish
Pages (from-to)1281-1294
JournalInformation and Software Technology
Issue number12
Publication statusPublished - 2008


Dive into the research topics of 'Semantics and analysis of business process models in BPMN'. Together they form a unique fingerprint.

Cite this