In this chapter we present an Abstract State Machine (ASM) ground model designed to
rigorously specify the semantics of Business Process Model and Notation (BPMN) Process …

The Hagenberg Business Process Modelling (H-BPM) method constitutes a proposal for the
design of Business Process Management (BPM) systems, which in addition to process …

Abstract The Business Process Model and Notation (BPMN) is a widely-used standard for
process modelling. A drawback of BPMN, however, is that modality is implicitly expressed …

Purpose–A major problem of business process modelling languages that primarily express
the flow of activities is the limited support for actor modelling provided by rigid swimlane …

Nowadays, one of the companies challenges is to benefit from their Business Intelligence
(BI) projects and not to see huge investments ruined. To address problems related to the …

Business process management (BPM) provides many benefits for a company including
productivity, efficiency, compliance, risk management, consistency, repeatability, and …

Expressing variability in graphical process models can lead to large and complicated
models even for expressing rather simple situations. However, expressing variability in …

Health information systems (HIS) and clinical workflows generate medication errors that
affect the quality of patient care. The rigorous evaluation of the medication process's error …

Modelling business processes in general is a complex endeavour, as many different aspects
such as the control flow, the management of data, event and message handling, actors and …

Reaching a particular goal requires series of steps to be carried out. In an organization, such
sequences of tasks and actions are called business processes. In order to communicate any …