Current process management practice strives for better support for mappings between process models in the design and execution phases of process implementation projects. In this context, BPMN was developed as a graphical representation for the process execution language BPEL4WS, with the intention that BPMN can be automatically mapped to executable BPEL4WS specifications. However, there is doub...

Current process management practice strives for better support for mappings between process models in the design and execution phases of process implementation projects. In this context, BPMN was developed as a graphical representation for the process execution language BPEL4WS, with the intention that BPMN can be automatically mapped to executable BPEL4WS specifications. However, there is doub...

The Business Process Modelling Notation (BPMN) is a graph-oriented language in which control and action nodes can be connected almost arbitrarily. It is primarily targeted at domain analysts and is supported by many modelling tools, but in its current form, it lacks the semantic precision required to capture fully executable business processes. The Business Process Execution Language for Web Se...

The increasing recognition of the need for integrating data and processes, both at conceptual system levels, raises a new demand in standard-friendly, verifiable data-aware process modelling languages. So far, few proposals area have been largely focusing on either uncharted approaches or that would lack tool support. In this work, we propose delta-BPMN – operational framework processes employs...

Emerging methods for enterprise systems analysis rely on the representation of work practices in the form of business process models. A standard for representing such models is the Business Process Modeling Notation (BPMN). BPMN models are mainly intended for communication and decision-making between domain analysts, but often they are also given as input to software development projects. Meanw...

Bringing a high confidence to the validity of business processes is one of the prevailing themes in business process management. Regardless of the introduction of BPMN 1.2, there is no discernible improvement in the preciseness of the BPMN semantics. Motivated by the need to ensure the trustworthiness of BPMN models and the absence of an accurate behavioural semantics, a rigorous semantic defin...

We present BPMN Miner 2.0: a tool that extracts hierarchical and block-structured BPMN process models from event logs. Given an event log in XES format, the tool partitions it into sub-logs (one per subprocess) and discovers a BPMN process model from each sub-log using existing techniques for discovering BPMN process models via heuristics nets or Petri nets. A drawback of these techniques is th...

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...

The Business Process Model and Notation (BPMN) is a widely used standard for business process modelling and maintained by the Object Management Group (OMG). However, the BPMN 2.0 specification is quite comprehensive and spans more than 500 pages. The definition of an element is distributed across different sections and sometimes conflicting. In addition, the structure of the elements and their ...

Business Process Model and Notation (BPMN) is a de-facto standard for practitioners working in the Business Process Management (BPM) field. The BPMN standard [1] offers highlevel modeling constructs, such as subprocesses, events, data and message flows, lanes, and is widely used to model processes in various domains. Recently several BPMN-based process mining techniques [2, 3, 4] were introduce...