Sciweavers

EDOC
2006
IEEE

Structural Patterns for Soundness of Business Process Models

13 years 9 months ago
Structural Patterns for Soundness of Business Process Models
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 modelling do not have formal execution semantics which is a prerequisite to check correctness criteria. In this context, soundness defines a minimum correctness criterion that a process model should fulfil. In this paper we present a novel approach to reason about soundness based on so-called causal footprints. A causal footprint represents a set of conditions on the order of activities that holds for every case of a process model. We identify three kinds of error patterns that affect the soundness of a process model, namely the deadlock pattern, the multiple termination pattern, and the trap pattern. We use Eventdriven Process Chains (EPCs) and Petri nets to demonstrate the applicability of our approach for both conceptual as for formal process modelling languages. Furthermore, it can easily be applied to o...
Boudewijn F. van Dongen, Jan Mendling, Wil M. P. v
Added 11 Jun 2010
Updated 11 Jun 2010
Type Conference
Year 2006
Where EDOC
Authors Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst
Comments (0)