BPMN (Business Process Model and Notation) is an OMG standard for business process modeling that is widely adopted today. The OMG lists 62 tool vendors who offer products that support BPMN [3]. This success is based on the fact that BPMN provides a standardized graphical notation which is easy to use for business analysts, allowing them to document and communicate their business processes withi...

Data-flow errors in BPMN 2.0 process models, such as missing or unused data, lead to undesired process executions. In particular, since BPMN 2.0 with a standardized execution semantics allows specifying alternatives for data as well as optional data, identifying missing or unused data systematically is difficult. In this paper, we propose an approach for detecting data-flow errors in BPMN 2.0 p...

We present two formalisations of the Business Process Modelling Notation (BPMN). In particular, we introduce a semantic model for BPMN in the process algebra CSP; we then study an augmentation of this model in which we introduce relative timing information, allowing one to specify timing constraints on concurrent activities. By exploiting CSP refinement, we are able to show some relationships b...

BPMN is a leading visual notation for modeling business processes. Although there is many tools that allows for modeling using BPMN, they mostly do not support formal verification of models. The Alvis language was developed for modeling and verification of embedded systems. However, it is suitable for the modeling of any information systems with parallel subsystems. The goal of this paper is to...

Business Process Model and Notation (BPMN) 2.0 process models are used more and more, both in practice as in academia. Although academic research mainly focuses on sophisticated semantic checks and extensions there still exist problems in the basic usage of BPMN. This paper investigates issues in BPMN model serializations which arise as a result of the complexity and inconsistency of the standa...

Modelling business processes using BPMN has been emerging as the preferred choice for organisations seeking to enact their business processes in service-oriented environments. However, a number of organisations have their business processes modelled using Role Activity Diagramming, RAD. In this research, we introduce a new approach to translating RAD business process models to their respective ...

This paper is a contribution towards a theory-driven, exploratory empirical investigation of process modeling practice with the industry standard BPMN. We perform a representational analysis of BPMN using an ontological representation theory. Furthermore, we discuss a series of semistructured interviews with BPMN adopters in order to explore the use of this technique empirically. We identify se...

Oryx: Modeling Service Choreographies. Oryx is a graphical editing framework written in JavaScript developed at the Hassso-Plattner-Institute. A BPMN editor and a BPMN to BPEL4Chor transformation has been developed so that a BPEL4Chor choreography can be modeled using configured BPMN [2]. That enables business users to graphically model choreographies without the need of writing XML code themse...

On the purpose of managing process models to make them more practical and effective in enterprises, a construction of BPMN-based Business Process Model Base is proposed. Considering Business Process Modeling Notation (BPMN) is used as a standard of process modeling, based on BPMN, the process model transformation is given, and business blueprint modularization management methodology is used for...