Data-Driven Process Discovery and Analysis [electronic resource] : 7th IFIP WG 2.6 International Symposium, SIMPDA 2017, Neuchatel, Switzerland, December 6-8, 2017, Revised Selected Papers /

Online Detection of Operator Errors In Cloud Computing Using Anti-Patterns -- Executing Lifecycle Processes in Object-aware Process Management -- Towards semantic process mining through knowledge-based trace abstraction -- Mining Local Process Models and their Correlations -- A linear temporal logic model checking method over finite words with correlated transition attributes -- A Report-driven Approach to design Multidimensional Models. .

This book constitutes the revised selected papers from the 7th IFIP WG 2.6 International Symposium on Data-Driven Process Discovery and Analysis, SIMPDA 2017, held in Neuchatel, Switzerland, in December 2017. The 6 papers presented in this volume were carefully reviewed and selected from 19 submissions. They cover theoretical issues related to process representation, discovery, and analysis or provide practical and operational examples of their application.