Business process management : models, techniques, and empirical studies

Business Process Management: Models, Techniques, and Empirical Studies
Author: Wil van der Aalst, Jörg Desel, Andreas Oberweis
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67454-2
DOI: 10.1007/3-540-45594-9

Table of Contents:

• Techniques for Modelling Workflows and their Support of Reuse
• Modeling Processes and Workflows by Business Rules
• Guidelines of Business Process Modeling
• A Knowledge-Based Approach for Designing Robust Business Processes
• The “Organized Activity” Foundation for Business Processes and Their Management
• Evaluation of Generic Process Design Patterns: An Experimental Study
• Management-Oriented Models of Business Processes
• Validation of Process Models by Construction of Process Nets
• Modeling, Simulation and Analysis of Business Processes
• Using Formal Analysis Techniques in Business Process Redesign
• Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
• Compositional modeling and verification of workflow processes
• A Workflow Change is a Workflow
• Improving Flexibility of workflow Management Systems
• Inter-operability of Workflow Applications: Local Criteria for Global Soundness
• Object Oriented Petri Nets in Business Process Modeling
• Information Gathering and Process Modeling in a Petri Net Based Approach
• Why Modellers Wreck Workflow Innovations
• The Effects of Workflow Systems on Organizations: A Qualitative Study
• On the Practical Relevance of an Integrated Workflow Management System - Results of an Empirical Study

Includes bibliographical references and index