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.
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.

Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
194
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
194Paperback(2008)
Product Details
ISBN-13: | 9783540892236 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 11/21/2008 |
Series: | Lecture Notes in Business Information Processing , #6 |
Edition description: | 2008 |
Pages: | 194 |
Product dimensions: | 6.10(w) x 9.30(h) x 0.40(d) |