This book constitutes the refereed proceedings of the 7th International Conference on Business Process Management, BPM 2009, held in Ulm, Germany, in September 2009.

Editorial.- A Collaboration and Productiveness Analysis of the BPM Community.- Invited Talks.- BPM 3.0.- Change in Control.- Scientific Workflows: Business as Usual?.- Modeling I.- Graph Matching Algorithms for Business Process Model Similarity Search.- Controllability in Temporal Conceptual Workflow Schemata.- Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions.- Managing Processes.- Extending BPM Environments of Your Choice with Performance Related Decision Support.- Business Process-Based Resource Importance Determination.- Case Study and Maturity Model for Business Process Management Implementation.- Process Mining I.- Discovering Process Models from Unlabelled Event Logs.- Abstractions in Process Mining: A Taxonomy of Patterns.- Processes and Services.- Aggregating Hierarchical Service Level Agreements in Business Value Networks.- Set Algebra for Service Behavior: Applications and Constructions.- A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs.- Modeling II.- The Triconnected Abstraction of Process Models.- Granularity as a Cognitive Factor in the Effectiveness of Business Process Model Reuse.- Artifact-Based Transformation of IBM Global Financing.- Verification and Compliance.- Instantaneous Soundness Checking of Industrial Business Process Models.- Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.- Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes.- Process Mining II.- Divide-and-Conquer Strategies for Process Mining.- Discovering Reference Models by Mining Process Variants Using a Heuristic Approach.