Semantics and analysis of business process models in BPMN

Dijkman, Remco M., Dumas, Marlon, & Ouyang, Chun (2008) Semantics and analysis of business process models in BPMN. Information and Software Technology, 50(12), pp. 1281-1294.

View at publisher


The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of system development. The mix of constructs in BPMN makes it possible to define models with a range of semantic errors. But the static analysis of BPMN models to detect such errors is hindered by ambiguities in the standard specification and the complexity of the language. The fact that BPMN integrates constructs from graph-oriented process definition languages with features for concurrent execution of multiple instances of a subprocess and exception handling, makes it challenging to provide a formal semantics of BPMN. Even more challenging is to provide a semantics that can be used to analyse BPMN models. This paper proposes a formalisation of BPMN in terms a mapping to Petri nets, for which efficient analysis techniques exist. The mapping has been implemented as a tool that generates code in the Petri Net Markup Language. The formalisation has led to the identification of deficiencies in the BPMN specification.

Impact and interest:

304 citations in Scopus
165 citations in Web of Science®
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

7,158 since deposited on 18 Apr 2007
325 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 7115
Item Type: Journal Article
Refereed: Yes
Keywords: Business process modelling and analysis, BPMN, Petri nets
DOI: 10.1016/j.infsof.2008.02.006
ISSN: 0950-5849
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300) > Software Engineering (080309)
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Copyright Owner: Copyright 2008 Elsevier B.V.
Copyright Statement: NOTICE: this is the author’s version of a work that was accepted for publication in Information and Software Technology. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information and Software Technology, [Volume 50, Issue 12, (November 2008)] DOI: 10.1016/j.infsof.2008.02.006
Deposited On: 18 Apr 2007 00:00
Last Modified: 23 Jun 2017 01:18

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page