Business Process Management, 2000 Models, Techniques, and Empirical Studies Lecture Notes in Computer Science Series, Vol. 1806

Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems, business-oriented computer science, and management sciences.
The carefully reviewed chapters contributed to this state-of-the-art survey by internationally leading scientists consolidate work presented at various workshops on the topic organized by the editors of the book in the past few years. The book spans the whole spectrum of business process management ranging from theoretical aspects, conceptual models, and application scenarios to implementation issues. It will become a valuable source of reference and information for R&D professionals active in the fascinating interdisciplinary area of business process management and for ambitious practitioners.

Design of Business Processes.- 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.- Formalisms and Analysis.- 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.- Systems and Applications.- 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.- Configurable Business Objects for Building Evolving Enterprise Models and Applications.- Workflow Management between Formal Theory and Pragmatic Approaches.- Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures.- ARIS Architecture and Reference Models for Business Process Management.