Business Process Management 2000

@proceedings{DBLP:conf/bpm/2000,
  editor    = {Wil M. P. van der Aalst and
               J{\"o}rg Desel and
               Andreas Oberweis},
  title     = {Business Process Management, Models, Techniques, and Empirical
               Studies},
  booktitle = {Business Process Management},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1806},
  year      = {2000},
  isbn      = {3-540-67454-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part 1: Design of Business Processes

• Gerrit K. Janssens, Jan Verelst, Bart Weyn:
  Techniques for Modeling Workflows and Their Support of Reuse. 1-15
  
• Gerhard Knolmayer, Rainer Endl, Marcel Pfahrer:
  Modeling Processes and Workflows by Business Rules. 16-29
  
• Jörg Becker, Michael Rosemann, Christoph von Uthmann:
  Guidelines of Business Process Modeling. 30-49
  
• Chrysanthos Dellarocas, Mark Klein:
  A Knowledge-Based Approach for Designing Robust Business Processes. 50-65
  
• Anatol W. Holt:
  The "Organized Activity" Foundation for Business Processes and Their Management. 66-82
  
• Michael Zapf, Armin Heinzl:
  Evaluation of Generic Process Design Patterns: An Experimental Study. 83-98
  
• Anastasia Pagnoni Holt:
  Management-Oriented Models of Business Processes. 99-109
  

Part 2: Formalisms and Analysis

• Jörg Desel:
  Validation of Process Models by Construction of Process Nets. 110-128
  
• Jörg Desel, Thomas Erwin:
  Modeling, Simulation and Analysis of Business Processes. 129-141
  
• Kees M. van Hee, Hajo A. Reijers:
  Using Formal Analysis Techniques in Business Process Redesign. 142-160
  
• Wil M. P. van der Aalst:
  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. 161-183
  
• Marc Voorhoeve:
  Compositional Modeling and Verification of Workflow Processes. 184-200
  
• Clarence A. Ellis, Karim Keddara:
  A Workflow Change Is a Workflow. 201-217
  
• Alessandra Agostini, Giorgio De Michelis:
  Improving Flexibility of Workflow Management Systems. 218-234
  
• Ekkart Kindler, Axel Martens, Wolfgang Reisig:
  Inter-operability of Workflow Applications: Local Criteria for Global Soundness. 235-253
  
• Daniel Moldt, Rüdiger Valk:
  Object Oriented Petri Nets in Business Process Modeling. 254-273
  

Part 3: Systems and Applications

• Wolfgang Deiters:
  Information Gathering and Process Modeling in a Petri Net Based Approach. 274-288
  
• Stef Joosten:
  Why Modellers Wreck Workflow Innovations. 289-300
  
• Peter Kueng:
  The Effects of Workflow Systems on Organizations: A Qualitative Study. 301-316
  
• Martin Meyer:
  On the Practical Relevance of an Integrated Workflow Management System - Results of an Empirical Study. 317-327
  
• Mike P. Papazoglou, Willem-Jan van den Heuvel:
  Configurable Business Objects for Building Evolving Enterprise Models and Applications. 328-344
  
• Stefan Jablonski:
  Workflow Management Between Formal Theory and Pragmatic Approaches. 345-358
  
• Ronald M. Lee:
  Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures. 359-375
  
• August-Wilhelm Scheer, Markus Nüttgens:
  ARIS Architecture and Reference Models for Business Process Management. 376-389