Table of Contents

• Preface
  
  

Session 1: Process Analysis

• Towards Certified Data Flow Analysis of Business Processes 1-3
  Thomas S. Heinze
• Automatic Standard Compliance Assessment of BPMN 2.0 Process Models 4-10
  Matthias Geiger , Philipp Neugebauer , Andreas Vorndran
• A Conceptual Framework for Understanding Event Data Quality for Behavior Analysis 11-14
  Xixi Lu , Dirk Fahland

Session 2: Process Enactment and Modeling Languages

• Towards the Generation of Test Cases for Executable Business Processes from Classification Trees 15-22
  Thilo Schnelle , Daniel Lübke
• Events in BPMN: The Racing Events Dilemma 23-30
  Sankalita Mandal

Session 3 - Stream Processing

• Tuning Browser-to-Browser Offloading for Heterogeneous Stream Processing Web Applications 31-36
  Masiar Babazadeh
• VISP Testbed - A Toolkit for Modeling and Evaluating Resource Provisioning Algorithms for Stream Processing Applications 37-43
  Christoph Hochreiner

Session 4 - IoT

• Closed-Loop Control of 3D Printers via WebServices 44-50
  Felix W. Baumann , Dieter Roller
• Highly Scalable and Flexible Model for Effective Aggregation of Context-based Data in Generic IIoT Scenarios 51-58
  Simon Duque Antón , Daniel Fraunholz , Janis Zemitis , Frederic Pohl , Hans Dieter Schotten

Session 5: Cloud Management

• Elastic Allocation of Docker Containers in Cloud Environments 59-66
  Matteo Nardelli
• Choreographies are Key for Distributed Cloud Application Provisioning 67-70
  Oliver Kopp , Uwe Breitenbücher
• Benchmark Proposal for Multi-Tenancy in the Database Layer 71-78
  Philipp Neugebauer , Christian Maier , Alexander Bumann

Session 6 - Software Modeling and Analysis

• Modeling and Analysis of Sustainability in Product Life Cycles 79-82
  Andreas Fritsch
• An Analysis of Metaheuristic to SLA Establishment in Cloud Computing 83-89
  Leonildo José de Melo de Azevedo , Julio C. Estrella , Claudio F. M. Toledo , Stephan Reiff-Marganiec

Session 7 - Tool Demonstrations

• PROtEUS++: A Self-managed IoT Workflow Engine with Dynamic Service Discovery 90-92
  Ronny Seiger , Steffen Huber , Peter Heisig

• Back Matter