Business Process Management: International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings (Lecture Notes in Computer Science (2678))

This book constitutes the refereed proceedings of the International Conference on Business Process Management, BPM 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with an introductory survey article were carefully reviewed and selected from 77 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, computer-supported collaborative work, workflow patterns, business process engineering, business process patterns, workflow systems, Petri nets, process services, business process reengineering, and business process management tools. Business Process Management: A Survey....Pages 1-12 Workflow: A Language for Composing Web Services....Pages 13-24 Mining Most Specific Workflow Models from Event-Based Data....Pages 25-40 Evaluation of Correctness Criteria for Dynamic Workflow Changes....Pages 41-57 Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders....Pages 58-71 Structuring Business Objectives: A Business Process Modeling Perspective....Pages 72-87 Use Cases as Workflows....Pages 88-103 A Model to Support Collaborative Work in Virtual Enterprises....Pages 104-119 Towards a Library for Process Programming....Pages 120-135 Generating a Process Model from a Process Audit Log....Pages 136-151 Contracting Workflows and Protocol Patterns....Pages 152-167 Security in Business Process Engineering....Pages 168-183 Query Nets: Interacting Workflow Modules That Ensure Global Termination....Pages 184-199 Generic Recurrent Patterns in Business Processes....Pages 200-215 Personal Schedules for Workflow Systems....Pages 216-231 A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net....Pages 232-245 Pattern Based Workflow Design Using Reference Nets....Pages 246-260 A Model for Process Service Interaction....Pages 261-275 Exception Handling in the BPEL4WS Language....Pages 276-290 Ratios to Support the Exploration of Business Process Models....Pages 291-301 Integrating Business Process Reengineering with Information Systems Development: Issues & Implications....Pages 302-320 Undo in Workflow Management Systems....Pages 321-335 A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling....Pages 336-353 A Case-Based Framework for Workflow Model Management....Pages 354-369 ADEPT Workflow Management System....Pages 370-379 Modelling and Validation with VipTool....Pages 380-389 Business process management is usually treated from two different perspectives: business administration and computer science. While business administration professionals tend to consider information technology as a subordinate aspect in business process management for experts to handle, by contrast computer science professionals often consider business goals and organizational regulations as terms that do not deserve much thought but require the appropriate level of abstraction. Mathias Weske argues that all communities involved need to have a common understanding of the different aspects of business process management. To this end, he details the complete business process lifecycle from the modeling phase to process enactment and improvement, taking into account all different stakeholders involved. After starting with a presentation of general foundations and abstraction models, he explains concepts like process orchestrations and choreographies, as well as process properties and data dependencies. Finally, he presents both traditional and advanced business process management architectures, covering, for example, workflow management systems, service-oriented architectures, and data-driven approaches. In addition, he shows how standards like WfMC, SOAP, WSDL, and BPEL fit into the picture. This textbook is ideally suited for classes on business process management, information systems architecture, and workflow management. This 3rd edition contains a new chapter on business decision modelling, covering the Decision Model and Notation (DMN) standard; the chapter on process choreographies has been streamlined, and numerous clarifications have been fetched throughout the book. The accompanying website www.bpm-book.com contains further information and additional teaching material 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

this Book Constitutes The Refereed Proceedings Of The International Conference On Business Process Management, Bpm 2003, Held In Eindhoven, The Netherlands, In June 2003.

the 25 Revised Full Papers Presented Together With An Introductory Survey Article Were Carefully Reviewed And Selected From 77 Submissions. Among The Issues Addressed Are Web Services, Workflow Modeling, Business Process Modeling, Collaborative Computing, Computer-supported Collaborative Work, Workflow Patterns, Business Process Engineering, Business Process Patterns, Workflow Systems, Petri Nets, Process Services, Business Process Reengineering, And Business Process Management Tools.

The papers are organized in 9 topical sections on declarative processes, user-centered process approaches, process discovery, integrative BPM, resource and time management in BPM, process analytics, process enabled environments, discovery and monitoring, and industry papers. This volume of Springer Lecture Notes in Computer Science is devoted to the "Conference on Business Process Management: On the Application of Formal Methods to Process-Aware Information Systems" taking place in Eindhoven (The Netherlands) in June 2003.