Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

Workflow Model Analysis

  • W. M. P. van der AalstEmail author
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_1476


The correctness, effectiveness, and efficiency of the business processes supported by a workflow management system are vital to the organization. A workflow process definition which contains errors may lead to angry customers, backlog, damage claims, and loss of goodwill. Flaws in the design of a workflow definition may also lead to high throughput times, low service levels, and a need for excess capacity. This is why it is important to analyze a workflow process definition before it is put into production.

In order to analyze a workflow definition, it is necessary to translate the definition into a model suitable for analysis, e.g., a simulation model or a model that allows for verification techniques (e.g., a Petri net).

Key Points

Process-aware information systems are driven by process models. A typical example of a process-aware information system is a system generated using workflow management software. In such cases there is an explicit process model that can be used...

This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Marsan MA, Balbo G, Conte G, et al. Modelling with generalized stochastic Petri nets, Wiley Series in Parallel Computing. New York: Wiley; 1995.zbMATHGoogle Scholar
  2. 2.
    Reisig W, Rozenberg G. Lectures on Petri nets I: basic models, LNCS. 1491. Berlin: Springer; 1998.zbMATHCrossRefGoogle Scholar
  3. 3.
    van der Aalst WMP. The application of Petri nets to workflow management. J Circ Syst Comput. 1998;8(1):21–66.CrossRefGoogle Scholar
  4. 4.
    van der Aalst WMP, van Hee KM. Workflow management: models, methods, and systems. Cambridge, MA: MIT; 2004.Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Eindhoven University of TechnologyEindhovenThe Netherlands

Section editors and affiliations

  • Barbara Pernici
    • 1
  1. 1.Dept. di Elettronica e InformazionePolitecnico di MilanoMilanItaly