Business process management -- Event-driven process chains (EPC) -- Verification of EPC soundness -- Metrics for business process models -- Validation of metrics as error predictors -- Implications for business process modeling
Summary
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). This book presents a description of Event-driven Process Chains (EPCs), their control-flow semantics and a suitable correctness criterion called EPC soundness
