Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

This book constitutes the proceedings of the 17th International Conference on Business Process Management, BPM 2019, held in Vienna, Austria, in September 2019.

The 23 full and 4 tutorial short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers were organized in topical sections named: foundations; engineering; and management. 

Tutorials.- Everything You Always Wanted To Know About Petri Nets, But Were Afraid To Ask.- Responsible Process Mining - A Data Quality Perspective.- IoT for BPMers. Challenges, case studies and successful applications.- Exploring Explorative BPM - Setting the Ground for Future Research.- Foundations.- Dynamic Reconfiguration of Business Processes.- A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.- Modeling and Enforcing Blockchain-Based Choreographies.- Formal Reasoning on Natural Language Descriptions of Processes.- Goal-oriented Process Enhancement and Discovery.- Checking Regulatory Compliance: Will We Live to See It.- Modelling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.- Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.- Engineering.- Estimating Process Conformance by Trace Sampling and Result Approximation.- Trace Clustering on Very Large Event Data in Healthcare using Frequent Sequence Patterns.- ProcessExplorer: Intelligent Process Mining Guidance.- Machine Learning-Based Framework for Log-Lifting in Business Process Mining Applications.- Approximate Computation of Alignments of Business Processes through Relaxation Labelling.- Metaheuristic Optimization for Automated Business Process Discovery.- Learning Accurate LSTM Models of Business Processes.- Management.- Trust-aware Process Design.- Mining Process Mining Practices: An Exploratory Characterization of Information Needs in Process Analytics.- Towards a Process Reference Model for Research Management: An Action Design Research effort at an Australian University.- What the Hack? - Towards a Taxonomy of Hackathons.- Design Patterns for Business Process Individualization.- Understanding the Alignment of Employee Appraisals and Rewards with Business Processes.- Business Process Improvement Activities: Differences in Organizational Size, Culture, and Resources.- Regulatory Instability, Business Process Management Technology, and BPM Skill Configurations.