Zusammenfassung. Business Process Model and Notation (BPMN) 2.0 gilt als einer der vielversprechendsten Standards zur Prozessmodellierung, jedoch ist die Modellierung auch für Experten mit großem Aufwand verbunden, sodass heute versucht wird, die Modellierung durch Wiederverwendung von Prozessmodellen zu unterstützen. Hierzu werden Repositories von qualitativ hochwertigen Geschäftsprozessmodell...

Abstract. In various application domains, there is a desire to standardize modeling techniques. Business Process Model and Notation (BPMN) is currently the most widespread language used for modeling Business Processes (BP). Although there are some guidelines how to use this notation, the issue of modeling technique is not standardized. The same semantics can be represented in BPMN using various...

This paper presents the traceability metamodel for Business Process Model and Notation (BPMN) and its implementation in Cameo Business Modeler plug-in for MagicDraw. There is no public standard traceability metamodel defined for BPMN yet. We present solutions that we have already applied in practice: we improve the traceability of BPMN models by defining derived properties that are calculated b...

In the business process management, many business process execution languages such as XPDL, BPML, BPEL4WS have been specified with different origins and goals. Most of all, XPDL proposed by WfMC has been widely used in the related applications, especially workflows whose concepts are currently interchangeable with those of business processes. On the other hand, Business Process Modeling Notatio...

Die Business Process Model and Notation (BPMN) hat sich in den letzten Jahren zu einer der dominierenden graphischen Modellierungssprachen für Prozesse entwickelt. Ihre Nutzung erfolgt sowohl für die konzeptuelle Workflowmodellierung als auch für die Spezifikation ausführbarer Workflowschemata. Für die Modellierung von Geschäftsprozessen erscheint die BPMN allerdings nur bedingt geeignet. Gesch...

This paper presents a formalization of a subset of the BPMN 2.0 execution semantics in terms of graph rewrite rules. The formalization is supported by graph rewrite tools and implemented in one of these tools, called GrGen. The benefit of formalizing the execution semantics by means of graph rewrite rules is that there is a strong relation between the execution semantics rules that are informal...

This paper introduces an approach for formal verification of BPMN models. The incompatible constructs of the BPMN patterns can lead to wrong or incomplete semantics which resulting the behavioral errors such as deadlock and multiple termination. This research is motivated by the need to create a correct business process and in order to generate a more complete formalization of BPMN semantics th...

Various BPMN modeling tools are available and it is close to impossible to understand their functional differences without simply trying them out. This paper presents an evaluation framework and presents the outcomes of its application to a set of five BPMN modeling tools. We report on various differences, for example with respect to the level of BPMN support and the “smart” support a modeler m...

Process choreographies describe interactions between different business partners and the dependencies between these interactions. While different proposals were made for capturing choreographies at an implementation level, it remains unclear how choreographies should be described on a conceptual level. While the Business Process Modeling Notation (BPMN) is already in use for describing choreogr...