Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness (Lecture Notes in Business Information Processing)

✍ Scribed by Jan Mendling

• Year: 2008
• Tongue: English
• Leaves: 205
• Edition: 1
• Category: Library

✦ Synopsis

Business process modeling plays an important role in the management of business processes. As valuable design artifacts, business process models are subject to quality considerations. The absence of formal errors such as deadlocks is of paramount importance for the subsequent implementation of the process. In his book Jan Mendling develops a framework for the detection of formal errors in business process models and the prediction of error probability based on quality attributes of these models (metrics). He presents a precise description of Event-driven Process Chains (EPCs), their control-flow semantics and a suitable correctness criterion called EPC soundness.

✦ Table of Contents

cover.jpg......Page 1
Title Page......Page 2
Dedication......Page 5
Preface......Page 6
Contents......Page 11
List of Acronyms......Page 14
Business Process Management......Page 17
History of Business Process Management......Page 18
Definition of Business Process Management......Page 20
Definition of Business Process Modeling......Page 23
Business Process Modeling and Errors......Page 28
Summary......Page 30
Event-Driven Process Chains (EPC)......Page 32
EPC Notation......Page 33
EPC Syntax......Page 35
Approaches to EPC Syntax Formalization......Page 36
Formal Syntax Definition of Flat EPCs......Page 37
Formal Syntax Definition of Hierarchical EPCs......Page 41
EPC Syntax Extensions......Page 43
Control Flow Extensions......Page 44
EPC Semantics......Page 45
EPC Formalization Problems......Page 46
Approaches to EPC Semantics Formalization......Page 49
EPC Semantics Based on State and Context......Page 55
Reachability Graph of EPCs......Page 62
Tool Support for EPC Semantics......Page 65
Comparison Based on Routing Elements......Page 70
Summary......Page 71
Correctness Criteria for Business Process Models......Page 73
Definition of EPC Soundness......Page 76
Reachability Graph Verification of Soundness......Page 78
Verification by Reduction Rules......Page 81
Related Work on Reduction Rules......Page 83
A Reduction Kit for EPCs......Page 86
A Reduction Algorithm for EPCs......Page 105
Reduction of the SAP Reference Model......Page 109
Summary......Page 116
Metrics for Business Process Models......Page 117
Measurement Theory......Page 118
Metrics in Network Analysis......Page 121
Metrics in the Software Engineering Process......Page 124
Related Work on Metrics for Process Models......Page 128
Definition of Metrics for Process Models......Page 131
Size......Page 132
Density......Page 133
Partitionability......Page 135
Connector Interplay......Page 139
Cyclicity......Page 141
Concurrency......Page 142
Calculating Metrics......Page 144
Summary......Page 147
Analysis Data Generation......Page 148
The Sample of EPC Models......Page 149
How Do the Four Groups Differ?......Page 150
Correlation Analysis......Page 153
Introduction to Logistic Regression......Page 156
Preparatory Analyses......Page 157
Multivariate Logistic Regression Model......Page 158
External Validation......Page 160
Summary......Page 163
Implications for Business Process Modeling......Page 164
Seven Process Modeling Guidelines (7PMG)......Page 165
Discussion......Page 166
Future Research......Page 167
Phase 1: Transition Relation for Dead Context Propagation......Page 168
Phase 2: Transition Relation for Wait Context Propagation......Page 169
Phase 3: Transition Relation for Negative State Propagation......Page 172
Phase 4: Transition Relation for Positive State Propagation......Page 173
References......Page 177
Index......Page 203