Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for CorrectnessBusiness 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. |
Contents
Business Process Management | 1 |
EventDriven Process Chains EPC | 16 |
Verification of EPC Soundness | 59 |
Metrics for Business Process Models | 103 |
Validation of Metrics as Error Predictors | 134 |
Other editions - View all
Metrics for Process Models: Empirical Foundations of Verification, Error ... Jan Mendling No preview available - 2008 |
Metrics for Process Models: Empirical Foundations of Verification, Error ... No preview available - 2009 |
Common terms and phrases
Aalst algorithm analysis AND-join AND-split approach behavior Box plot BPEL BPMN Business Process Management business process models calculated Computer connector control flow cyclic cyclomatic complexity dead context deadlock define delta components end components end events EPC models EPC semantics EPC syntax EPC1 EPC2 error probability Event-Driven Process Chains final markings function Heidelberg Heidelberg 2005 Hofstede IEEE Information Systems initial marking input arcs Kindler LNCS loan request logistic regression loop measurement Mendling MEPC multiple negative tokens number of arcs number of nodes Nüttgens OR-join OR-split output arcs path Petri net Petri nets phase plug-in positive token process interfaces process modeling languages ProM ratio reachability graph reduction rules relaxed soundness relaxed syntactically correct Rosemann SAP Reference Model Section sequentiality Software Engineering split Springer structuredness synchronization syntactically correct EPC transition relation validity Verbeek verification workflow nets workflow patterns xoEPC YAWL