Abstract Within the Information Systems field, reference models are well-known for many
years. The aim of this paper is to survey and to describe reference models for business …

The foundation of a process model lies in its control flow specifications. Using a generic
process modeling language for workflows, we show how a control flow specification may …

When using process models for automation, correctness of the models is a key requirement.
While many approaches concentrate on control flow verification only, correct data flow …

The Event-Driven Process Chain (EPC) and the Business Process Modeling Notation
(BPMN) are designed for modelling business processes, but do not yet include any means …

This chapter introduces the Event‐driven Process Chains (EPCs) modeling notation. In an
extended form, this notation is at the heart of the ARIS toolset for business process …

To a great extent, the usefulness of a formal model of a software process lies in its ability to
accurately predict the behavior of the executing process. Similarly, the usefulness of an …

Most information systems log events (eg, transaction logs, audit trails) to audit and monitor
the processes they support. At the same time, many of these processes have been explicitly …

Business processes play a central role in the reorganization of a company and the (re)
design of the respective information system (s). Typically the processes are described with …

Many companies have adopted Process-aware Information Systems (PAIS) to support their
business processes in some form. On the one hand these systems typically log events (eg …

The correctness of business process models is of paramount importance for the application
on an enterprise level. A severe problem is that several languages for business process …