CONTEXT: Quality assurance of business process models has been recognized as an
important factor for modeling success at an enterprise level. Since quality of models might …

This paper presents a technique to diagnose differences between business process models
in the EPC notation. The diagnosis returns the exact position of a difference in the business …

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

Up to now there is neither data available on how many errors can be expected in process
model collections, nor is it understood why errors are introduced. In this article, we provide …

Designing business models is a complicated and error prone task. On the one hand,
business models need to be intuitive and easy to understand. On the other hand …

The growing complexity of processes in many organizations stimulates the adoption of
business process management (BPM) techniques. Process models typically lie at the basis …

Context Business process modeling is an essential part of understanding and redesigning
the activities that a typical enterprise uses to achieve its business goals. The quality of a …

Off-the-shelf packages such as SAP need to be configured to suit the requirements of an
organization. Reference models support the configuration of these systems. Existing …

The increasing utilization of business process models both in business analysis and
information systems development raises several issues regarding quality measures. In this …

Despite the large body of knowledge on formal analysis techniques for process models, in
particular Petri nets, there has been a notable gap of empirical research into verification. In …