Abstract Business Process Modelling Notation (BPMN), developed by the Business Process
Management Initiative (BPMI), intends to bridge the gap between business process design …

Abstract The Business Process Model and Notation (BPMN) is a widely used standard for
business process modelling and maintained by the Object Management Group (OMG) …

Process choreographies describe interactions between different business partners and the
dependencies between these interactions. While different proposals were made for …

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 …

Capturing the interaction behavior between two or more business parties has major
importance in the context of business-to-business (B2B) process integration. The Business …

Abstract The Business Process Modeling Notation (BPMN) is an emerging standard for
capturing business processes. Like its predecessors, BPMN lacks a formal semantics and …

A translation of the Business Process Modeling Notation into the process calculus COWS is
presented. The stochastic extension of COWS is then exploited to address quantitative …

Over the past decade, the ubiquity of business processes and their need for ongoing
management in the same manner as other corporate assets has been recognized through …

Current research on the quality of business process models mostly discusses the quality of a
model mainly in terms of correctness of its behaviour. In this paper, we discuss another …

The BPMN standard notation allows business process designers to model both intra-
organizational processes and inter-organizational collaborations. A great effort has been …