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.

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.