Oliver Kopp Jörg Lenhard Cesare Pautasso ZEUS 2017 9th ZEUS Workshop, ZEUS 2017, Lugano, Switzerland, 13–14 February 2017 Proceedings Volume Editors Oliver Kopp University of Stuttgart, Institute for Parallel and Distributed Systems Universitätsstraße 38, DE-70569 Stuttgart oliver.kopp@ipvs.uni-stuttgart.de Jörg Lenhard Karlstad University, Department of Mathematics and Computer Science Universitetsgatan 2, SE-65188 Karlstad joerg.lenhard@kau.se Cesare Pautasso USI Faculty of Informatics, Architecture, Design and Web Information Systems Engineering Research Group Via Buffi 13, CH-6900 Lugano c.pautasso@ieee.org Copyright ○c 2017 for the individual papers by the papers’ authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors. Preface In February 2017, we had the pleasure to organize the 9th edition of the ZEUS Workshop in Lugano. This workshop series offers young researchers an oppor- tunity to present and discuss early ideas and work in progress as well as to establish contacts among young researchers. For this year’s edition, we selected 10 regular submissions, four position papers, and one tool demonstration by re- searchers from Austria, Brasil, Germany, Italy, Switzerland, The Netherlands, and the United Kingdom for presentation at the workshop. Each submission went through a thorough peer-review process and was assessed by at least three members of the program committee with regard to its relevance and scientific quality. The accepted contributions covered the areas of Process Analysis, Pro- cess Enactment and Modeling Languages, Stream Processing, the Internet of Things, Cloud Management, and Software Modeling and Analysis. In addition, the workshop hosted a mini-tutorial on support for literature studies with the JabRef reference manager. The workshop program was further enriched by two keynotes. The first keynote was held by Daniel Lübke on the topic Why developers don’t like BPM and how research can help discussed the perception of the BPM field by devel- opers in industry. The second keynote titled From Service- to UI-Oriented Com- puting: The Vision of an Intuitive Composition Paradigm was given by Florian Daniel, who presented a composition paradigm that leverages the UIs of appli- cations, instead of their APIs, and that makes composition-based development accessible to an ever wider range of developers. The best presentation award was given to Xixi Lu from Einhoven University of Technology, for her presentation of the paper A Conceptual Framework for Understanding Event Data Quality in Behavior Analysis. The workshop was generously sponsored by innoQ Deutschland GmbH and SAP Schweiz AG. Lugano, February 2017 Oliver Kopp Jörg Lenhard Cesare Pautasso Organization Steering Committee Oliver Kopp University of Stuttgart Jörg Lenhard Karlstad University Christoph Hochreiner TU Wien Local Organizer Cesare Pautasso USI Lugano Program Committee Chairs Oliver Kopp University of Stuttgart Jörg Lenhard Karlstad University Cesare Pautasso USI Lugano Program Committee Saimir Bala Vienna University of Economics and Business Anne Baumgrass Synfioo – 360∘ Transportation Monitoring Domenico Bianculli University of Luxembourg Daniele Bonetta Oracle Labs Richard Braun TU Dresden Dirk Fahland Eindhoven University of Technology Alessio Gambi Saarland University Matthias Geiger University of Bamberg Georg Grossmann University of South Australia Thomas Heinze University of Jena Nico Herzberg SAP SE Christoph Hochreiner TU Wien Conrad Indiono University of Vienna Meiko Jensen ULD Schleswig-Holstein Stefan Kolb University of Bamberg Oliver Kopp University of Stuttgart Agnes Koschmider Karlsruhe Institute of Technology Philipp Leitner University of Zurich Jörg Lenhard Karlstad University Henrik Leopold VU University Amsterdam Stephan Reiff-Marganiec University of Leicester Andreas Schoenberger Siemens AG Stefan Schulte TU Wien Jan Sürmerli Humboldt University of Berlin Matthias Weidlich Humboldt University of Berlin Matthias Wieland University of Stuttgart Subreviewers Johannes Wettinger University of Stuttgart Peter Reimann University of Stuttgart Han van der Aa VU University Amsterdam Michael Zimmermann University of Stuttgart Felix Baumann University of Stuttgart Sponsoring Institutions innoQ Deutschland GmbH SAP Schweiz AG Contents Towards Certified Data Flow Analysis of Business Processes . . . . . . . . . . . . 1 Thomas Heinze Automatic Standard Compliance Assessment of BPMN 2.0 Process Models 4 Matthias Geiger, Philipp Neugebauer and Andreas Vorndran A Conceptual Framework for Understanding Event Data Quality for Behavior Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Xixi Lu and Dirk Fahland Towards the Generation of Test Cases for Executable Business Processes from Classification Trees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Thilo Schnelle and Daniel Lübke Events in BPMN: The Racing Events Dilemma . . . . . . . . . . . . . . . . . . . . . . . 23 Sankalita Mandal Tuning Browser-to-Browser Offloading for Heterogeneous Stream Processing Web Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 Masiar Babazadeh VISP Testbed - A Toolkit for Modeling and Evaluating Resource Provisioning Algorithms for Stream Processing Applications . . . . . . . . . . . . 37 Christoph Hochreiner Closed-Loop Control of 3D Printers via WebServices . . . . . . . . . . . . . . . . . . 44 Felix Baumann and Dieter Roller Highly Scalable and Flexible Model for Effective Aggregation of Context-based Data in Generic IIoT Scenarios . . . . . . . . . . . . . . . . . . . . . . . . 51 Simon Duque Antón, Daniel Fraunholz, Janis Zemitis, Frederic Pohl and Hans Dieter Schotten Elastic Allocation of Docker Containers in Cloud Environments . . . . . . . . . 59 Matteo Nardelli Choreographies are Key for Distributed Cloud Application Provisioning . . 67 Oliver Kopp and Uwe Breitenbücher Benchmark Proposal for Multi-Tenancy in the Database Layer . . . . . . . . . . 71 Philipp Neugebauer, Christian Maier and Alexander Bumann Modeling and Analysis of Sustainability in Product Life Cycles? . . . . . . . . 79 Andreas Fritsch An Analysis of Metaheuristic to SLA Establishment in Cloud Computing 83 Leonildo Azevedo, Julio C. Estrella, Claudio F. M. Toledo and Stephan Reiff-Marganiec PROtEUS++: A Self-managed IoT Workflow Engine with Dynamic Service Discovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 Ronny Seiger, Steffen Huber and Peter Heisig