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