Australian Computer Society
Business Process Models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive application of process modeling in practice there are hardly empirical results available on quality aspects of process models. This paper aims to advance the understanding of this matter by analyzing the connection between formal errors (such as deadlocks) and a set of metrics that capture various structural and behavioral aspects of a process model. In particular the authors discuss the hypothetical relationship between errors and metrics, and provide a validation of correlation based on an extensive sample of EPC process models from practice.