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 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.