Part: Declarative Processes -- Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces -- Hierarchical Declarative Modelling with Refinement and Sub-processes -- Discovering Target-Branched Declare Constraints -- Part: User-Centered Process Approaches -- Crowd-Based Mining of Reusable Process Model Patterns -- A Recommender System for Process Discovery -- Listen to Me: Improving Process Model Matching through User Feedback -- Part: Process Discovery -- Beyond Tasks and Gateways: Discovering BPMN Models with Subprocesses, Boundary Events and Activity Markers -- A Genetic Algorithm for Process Discovery Guided by Completeness, Precision and Simplicity -- Constructs Competition Miner: Process Control-Flow Discovery of BP-Domain Constructs -- Part: Integrative BPM -- Chopping Down Trees vs. Sharpening the Axe - Balancing the Development of BPM Capabilities with Process Improvement -- Implicit BPM: A Business Process Platform for Transparent Workflow Weaving -- Modeling Concepts for Internal Controls in Business Processes - An Empirically Grounded Extension of BPMN -- Part: Resource and Time Management in BPM -- Mining Resource Scheduling Protocols -- Dealing with Changes of Time-Aware Processes -- Temporal Anomaly Detection in Business Processes -- Part: Process Analytics -- A General Framework for Correlating Business Process Characteristics -- Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures -- Where Did I Go Wrong? Explaining Errors in Business Process Models -- Part: Industry Papers -- User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes -- Analysis of Operational Data for Expertise Aware Staffing -- From a Family of State-Centric PAIS to a Configurable and Parameterized Business Process Architecture -- Part: Short Papers: Process Enabled Environments -- DRain: An Engine for Quality-of-Result Driven Process-Based Data Analytics -- Use Your Best Device! Enabling DeviceChanges at Runtime -- Specifying Flexible Human Behavior in Interaction-Intensive Process Environments -- Separating Execution and Data Management: A Key to Business Process-as-a-Service (BPaaS) -- Assessing the Need for Visibility of Business Processes - A Process Visibility Fit Framework -- Part: Short Papers: Discovery and Monitoring -- The Automated Discovery of Hybrid Processes -- Declarative Process Mining: Reducing Discovered Models Complexity by Pre-Processing Event Logs -- SECPI: Searching for Explanations for Clustered Process Instances -- Business Monitoring Framework for Process Discovery with Real-Life Logs -- Predictive Task Monitoring for Business Processes.

This book constitutes the proceedings of the 12th International Conference on Business Process Management, BPM 2014, held in Haifa, Israel, in September 2014. The 21 regular papers and 10 short papers included in this volume were carefully reviewed and selected from 123 submissions. The papers are organized in 9 topical sections on declarative processes, user-centered process approaches, process discovery, integrative BPM, resource and time management in BPM, process analytics, process enabled environments, discovery and monitoring, and industry papers.