Business Process Management

Invited Talks.- The Next Decade of BPM.- BPM in Cloud Architectures: Business Process Management with SLAs and Events.- Warning: Don't Assume Your Business Processes Use Master Data.- BPM in Practice.- IT Requirements of Business Process Management in Practice - An Empirical Study.- How Novices Model Business Processes.- BPM in Practice: Who Is Doing What?.- Correctness.- How to Implement a Theory of Correctness in the Area of Business Processes and Services.- Deciding Behaviour Compatibility of Complex Correspondences between Process Models.- Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis.- Design.- Impact of Granularity on Adjustment Behavior in Adaptive Reuse of Business Process Models.- Machine-Assisted Design of Business Process Models Using Descriptor Space Analysis.- From Informal Process Diagrams to Formal Process Models.- Distributed Processes.- Value-Oriented Coordination Process Modeling.- Coordination for Fragmented Loops and Scopes in a Distributed Business Process.- PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution.- Mining.- A Fresh Look at Precision in Process Conformance.- Trace Alignment in Process Mining: Opportunities for Process Diagnostics.- Content-Aware Resolution Sequence Mining for Ticket Routing.- Semantics.- Symbolic Execution of Acyclic Workflow Graphs.- Structuring Acyclic Process Models.- A New Semantics for the Inclusive Converging Gateway in Safe Processes.- Processes and People.- From People to Services to UI: Distributed Orchestration of User Interfaces .- Self-adjusting Recommendations for People-Driven Ad-Hoc Processes.- A Collaborative Approach to Maturing Process-Related Knowledge.