Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
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.

1123901600
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
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.

54.99 In Stock
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

by Jan Mendling
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

by Jan Mendling

Paperback(2008)

$54.99 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


Overview

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.


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)

Table of Contents

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.
From the B&N Reads Blog

Customer Reviews