This volume contains the proceedings of the 3rd International Conference on Business Process Management (BPM 2005), organized by LORIA in Nancy, France, September 5-8, 2005. This year, BPM included several innovations with respect to previous e- tions, most notably the addition of an industrial program and of co-located workshops. This was the logical result of the signi?cant (and still growing) - dustrial interest in the area and of the broadening of the research communities working on BPM topics. The interest in business process management (and in the BPM conference) was demonstrated by the quantity and quality of the paper submissions. We received over 176 contributions from 31 countries, accepting 25 of them as full papers (20 research papers and 5 industrial papers) while 17 contributions were accepted as short papers. In addition to the regular, industry, and short pres- tations invited lectures weregiven by Frank Leymannand Gustavo Alonso.This combination of research papers, industrial papers, keynotes, and workshops, all of very high quality, has shown that BPM has become a mature conference and the main venue for researchers and practitioners in this area. We would like to thank the members of the Program Committee and the reviewers for their e?orts in selecting the papers. They helped us compile an excellent scienti?c program. For the di?cult task of selecting the 25 best papers (14% acceptance rate) and 17 short papers each paper was reviewed by at least three reviewers (except some out-of-scope papers).

Inhalt

Research Papers.- Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry.- An Organisational Perspective on Collaborative Business Processes.- Mining Hierarchies of Models: From Abstract Views to Concrete Specifications.- Flexible Business Process Management Using Forward Stepping and Alternative Paths.- Semi-automatic Generation of Web Services and BPEL Processes - A Model-Driven Approach.- A Human-Oriented Tuning of Workflow Management Systems.- The Price of Coordination in Resource Management.- sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services.- Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow.- An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis.- Using the ?-Calculus for Formalizing Workflow Patterns.- Mining Workflow Recovery from Event Based Logs.- Behavior Based Integration of Composite Business Processes.- Visualization Support for Managing Large Business Process Specifications.- Transforming BPEL to Petri Nets.- Event-Based Coordination of Process-Oriented Composite Applications.- Integrating Process Learning and Process Evolution - A Semantics Based Approach.- An Analysis and Taxonomy of Unstructured Workflows.- A Framework for Document-Driven Workflow Systems.- Service Interaction Patterns.- Industrial Papers.- Modeling and Assessment of Production Printing Workflows Using Petri Nets.- Process Management in Health Care: A System for Preventing Risks and Medical Errors.- A Pathway for Process Improvement Activities in a Production Environment: A Case Study in a Rework Department.- IT Support for Healthcare Processes.- From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business Protocols.- Short Papers.- Using Software Quality Characteristics to Measure Business Process Quality.- Business Process Modelling and Improvement Using TAD Methodology.- On the Suitability of Correctness Criteria for Business Process Models.- Service Retrieval Based on Behavioral Specifications and Quality Requirements.- On the Semantics of EPCs: Efficient Calculation and Simulation.- Towards Integrating Business Policies with Business Processes.- A Contract Layered Architecture for Regulating Cross-Organisational Business Processes.- An Effective Content Management Methodology for Business Process Management.- Specification and Management of Policies in Service Oriented Business Collaboration.- Yet Another Event-Driven Process Chain.- Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective.- Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services.- Accelerated Enterprise Process Modeling Through a Formalized Functional Typology.- Introducing Business Process into Legacy Information Systems.- Spheres of Isolation: Adaptation of Isolation Levels to Transactional Workflow.- Verification of SAP Reference Models.