Business Process Modeling -- Consistency in Model Integration -- Using TimeNET to Evaluate Operational Planning Processes -- Business Objectives as Drivers for Process Improvement: Practices and Experiences at Thales Naval The Netherlands (TNNL) -- Modeling Medical E-services -- Formal Models in Business Process Management -- OPCATeam – Collaborative Business Process Modeling with OPM -- On the Semantics of EPCs: A Framework for Resolving the Vicious Circle -- Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking -- Miscellaneous -- A Workflow-Oriented System Architecture for the Management of Container Transportation -- Business to Business Transaction Modeling and WWW Support -- Integration of Multi-attributed Negotiations within Business Processes -- Analysis and Verification of Business Processes -- Management of Knowledge Intensive Business Processes -- SMART: System Model Acquisition from Requirements Text -- Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model -- Process Mining -- Interactive Workflow Mining -- Supporting Usage-Centered Workflow Design: Why and How? -- Mining Social Networks: Uncovering Interaction Patterns in Business Processes -- Workflow Management -- Model-Driven Approach to Workflow Execution -- On Dealing with Structural Conflicts between Process Type and Instance Changes -- Cohesion and Coupling Metrics for Workflow Process Design.

In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, and evolution of process-oriented information systems in a variety of appli- tion domains. Based on explicit representations of business processes, process stakeholders can communicate about process structure, content, and possible improvements. Formal analysis, veri?cation and simulation techniques have the potential to show de?cits and to e?ectively lead to better and more ?exible processes. Process mining facilitates the discovery of process speci?cations from process logs that are readily available in many organizations. This volume of Springer’s Lecture Notes in Computer Science contains the papers presented at the 2nd International Conference on Business Process M- agement (BPM 2004) which took place in Potsdam, Germany, in June 2004. From more than 70 submissions BPM 2004 received, 19 high-quality research papers were selected. BPM 2004 is part of a conference series that provides a forum for researchers and practitioners in all aspects of business process management. In June 2003, the 1st International Conference on Business Process Management took place in Eindhoven, The Netherlands. Its proceedings were published as Volume 2678 of Lecture Notes in Computer Science by Springer-Verlag. A previous volume (LNCS1806)onBusinessProcessManagementwasbasedonfoureventsdevoted to this topic.