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

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. Front Matter ....Pages I-IX Online Detection of Operator Errors in Cloud Computing Using Anti-patterns (Arthur Vetter)....Pages 1-24 Executing Lifecycle Processes in Object-Aware Process Management (Sebastian Steinau, Kevin Andrews, Manfred Reichert)....Pages 25-44 Towards Semantic Process Mining Through Knowledge-Based Trace Abstraction (G. Leonardi, M. Striani, S. Quaglini, A. Cavallini, S. Montani)....Pages 45-64 Mining Local Process Models and Their Correlations (Laura Genga, Niek Tax, Nicola Zannone)....Pages 65-88 A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes (Jean-Michel Couvreur, Joaquín Ezpeleta)....Pages 89-104 A Report-Driven Approach to Design Multidimensional Models (Antonia Azzini, Stefania Marrara, Andrea Maurino, Amir Topalović)....Pages 105-127 Back Matter ....Pages 129-129 This book constitutes the thoroughly refereed proceedings of the Second International Symposium on Data-Driven Process Discovery and Analysis held in Campione d'Italia, Italy, in June 2012. The six revised full papers were carefully selected from 17 submissions. To improve the quality of the contributions the symposium fostered the discussion during the presentation, giving authors the opportunity to improve their work extending the presented results. The selected papers cover topics spanning from theoretical issues related to process representation, discovery and analysis to practical and operational experiences in process discovery and analysis.