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.

This book constitutes the refereed proceedings of the 7th International Conference on Business Process Management, BPM 2009, held in Ulm, Germany, in September 2009. The volume contains 19 revised full research papers carefully reviewed and selected from 116 submissions, as well as 3 invited talks. The conference has a record of attracting innovative research of the highest quality related to all aspects of BPM, including theory, frameworks, methods, techniques, architectures, standards, and empirical findings.