In this paper we describe a formal ontological description of the Business Process Modelling Notation (BPMN), one of the most popular languages for business process modelling. The proposed ontology (the BPMN Ontology) provides a classification of all the elements of BPMN, together with the formal description of the attributes and conditions describing how the elements can be combined in a BPMN ...

Process fragments provide reusable granules of business processes to enable process modeling based on existing knowledge. Current verification tools cannot deal with BPMN process fragments and support complete BPMN processes only. To enable verification for BPMN process fragments, we sketch how a single BPMN fragment can be completed to a BPMN process, where additional gateways and start events...

The Business Process Modeling Notation (BPMN) is an increasingly important standard for the graphical representation of processes and offers a wide range of modeling constructs. Not all of these constructs are equally important, as business analysts frequently use arbitrary subsets of BPMN. In this paper we investigate what these subsets are, and how they differ between academic, consulting, an...

The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to obtain models with a range of semantic errors. The ability to statically check the semantic correctness of models is thus a desirable feature for modelling tools based on BPMN. However, the static analy...

Business Process Modeling Notation (BPMN) is the de facto standard for modeling business processes on a conceptual level. However, BPMN lacks a formal semantics and many of its features need to be further interpret, Consequently that hinders BPMN as a standard to statically check the semantic correctness of models. YAWL (Yet Another Workflow Language) allows the specification of executable work...

This paper is intended to provide a high-level overview and introduction to the Business Process Modeling Notation (BPMN). The context and general uses for BPMN will be provided as a supplement to the technical details defined the BPMN 1.0 Specification, which has been recently completed and released to the public. The basics of the BPMN notation will be discribed—that is, the types of graphica...

The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to obtain models with a range of semantic errors. The ability to statically check the semantic correctness of models is thus a desirable feature for modelling tools based on BPMN. However, the static analy...

The Business Process Modeling Notation (BPMN) has been developed to enable business user to develop readily understandable graphical representations of business processes. BPMN is also supported with appropriate graphical object properties that will enable the generation of executable BPEL. Thus, BPMN creates a standardized bridge for the gap between the business process design and process impl...

The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to create models with semantic errors. Such errors are especially serious, because errors in the early phases of systems development are among the most costly and hardest to correct. The ability to statica...

BPMN is a visual notation for modeling business processes. Although there are many tools supporting it, they rarely provide formal verification of models. We propose a new approach to formal verification of BPMN models using the Alvis modeling language and the XTT2 knowledge representation. The structure of the BPMN model can be analyzed using translation to Alvis. Alvis models can be verified ...