Business Process Management

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