Semantics of BPMN Process Models with OR-joins

Dumas, Marlon, Grosskopf, Alexander, Hettel, Thomas, & Wynn, Moe T. (2007) Semantics of BPMN Process Models with OR-joins. Lecture Notes in Computer Science, pp. 41-58.

[img] PDF (329kB)
Available to QUT staff and students only | Request a copy from author

View at publisher


The Business Process Modeling Notation (BPMN) is an emerging standard for capturing business processes. Like its predecessors, BPMN lacks a formal semantics and many of its features are subject to interpretation. One construct of BPMN that has an ambiguous semantics is the OR-join. Several formal semantics of this construct have been proposed for similar languages such as EPCs and YAWL. However, these existing semantics are computationally expensive. This paper formulates a semantics of the OR-join in BPMN for which enablement of a given OR-join in a model can be evaluated in quadratic time in terms of the total number of elements in the model. This complexity can be reduced to linear-time after materializing a quadratic-sized data structure at design-time. The paper also shows how to evaluate enablement of an OR-join incrementally as the execution of a process instance unfolds.

Impact and interest:

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.

ID Code: 7261
Item Type: Journal Article
Refereed: Yes
Keywords: Business Process Modeling Notation, Or, join, formal semantics
DOI: 10.1007/978-3-540-76848-7_5
ISSN: 0302-9743
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600) > Conceptual Modelling (080603)
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 2007 the authors
Deposited On: 01 May 2007 00:00
Last Modified: 25 Oct 2016 23:41

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page