Structural Patterns for Soundness of Business Process Models

Authors:
B. F. van Dongen;J. Mendling;W. M. P. van der Aalst
Affiliations:
Eindhoven University of Technology, The Netherlands;Vienna University of Economics and Business Administration, Austria;Eindhoven University of Technology, The Netherlands
Venue:
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Year:
2006

Citing 0
Cited 7

Measuring Similarity between Business Process Models

CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Process mining based on clustering: a quest for precision

BPM'07 Proceedings of the 2007 international conference on Business process management
Automated model grouping

Proceedings of the IEEE/ACM international conference on Automated software engineering
An open platform for business process modeling and verification

DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
A fresh look at precision in process conformance

BPM'10 Proceedings of the 8th international conference on Business process management
Similarity of business process models: Metrics and evaluation

Information Systems
A pattern-based approach for the verification of business process descriptions

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

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.