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