Paper Info
Title
Structural Patterns for Soundness of Business Process Models
Abstract
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 fulfill. 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 other languages, such as UML activity diagrams or BPEL. Based on the trap pattern, we prove that the .vicious circle., that is heavily discussed in EPC literature, is unsound.
Year
DOI
Venue
2006
10.1109/EDOC.2006.56
EDOC
Keywords
Field
DocType
process model,error pattern,business process modelling,correctness criterion,business process models,business process model,trap pattern,deadlock pattern,multiple termination pattern,formal process,minimum correctness criterion,structural patterns,petri nets
Data mining,Petri net,Systems engineering,Computer science,Deadlock,Process modeling,Correctness,Activity diagram,Business Process Execution Language,Business process modeling,Soundness
Conference
ISSN
ISBN
Citations 
2325-6354
0-7695-2558-X
36
PageRank 
References 
Authors
2.08
14
3
Name
Order
Citations
PageRank
B. F. van Dongen11336100.79
J. Mendling285929.52
Wil Van Der Aalst3208941418.27