Stefan Kolb Christian Sturm ZEUS 2019 11th ZEUS Workshop, ZEUS 2019, Bayreuth, Germany, 14–15 February 2019 Proceedings Volume Editors Stefan Kolb University of Bamberg, Distributed Systems Group An der Weberei 5, DE-96049 Bamberg stefan.kolb@uni-bamberg.de Christian Sturm University of Bayreuth, Institute for Computer Science Universitätsstraße 30, DE-95447 Bayreuth christian.sturm@uni-bayreuth.de Copyright © 2019 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 2019, we had the pleasure to organize the 11th edition of the ZEUS Workshop in Bayreuth, Germany. This workshop series offers young researchers an opportunity 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 four regular submissions, eight position papers, and one tool demonstration for presentation at the workshop. Each submission went through a thorough peer-review process and was assessed by at least four members of the program committee with regard to its relevance and scientific quality. The accepted contributions cover the areas of Business Process Management, Cloud Computing, Microservices, Software Design, and the Internet of Things. The workshop program was further enriched by keynotes from both academia and the industry. Dr. Simon Harrer and Tammo van Lessen from innoQ Deutsch- land GmbH gave a talk about Kubernetes with the title One Kubernetes to Rule Them All. Dr. Stefan Schönig, from the University of Bayreuth, presented his research on IoT-based Process Management. Finally, Michael Bauer from dynamic commerce GmbH shared their experiences on a modern Software Architecture of an e-Commerce System. The best presentation award was given to Sven Ihde from the Hasso Plattner Institute Potsdam, for his presentation of the paper Towards Dynamic Resource Management in Business Processes. The workshop was generously sponsored by innoQ Deutschland GmbH and SAP SE. Bayreuth, February 2019 Stefan Kolb Christian Sturm Organization Steering Committee Nico Herzberg SAP SE Christoph Hochreiner Compass Verlag Stefan Kolb University of Bamberg Oliver Kopp Daimler AG Jörg Lenhard SAP SE Local Organizer Christian Sturm University of Bayreuth Program Committee Chairs Nico Herzberg SAP SE Christoph Hochreiner Compass Verlag Stefan Kolb University of Bamberg Oliver Kopp Daimler AG Jörg Lenhard SAP SE Christian Sturm University of Bayreuth Program Committee Lars Ackermann University of Bayreuth Saimir Bala Vienna University of Economics and Business Kimon Batoulis HPI, University of Potsdam Felix Baumann PricewaterhouseCoopers GmbH WPG Domenico Bianculli University of Luxembourg Daniele Bonetta Oracle Labs Michael Borkowski TU Wien Linus W. Dietz Technical University of Munich Dirk Fahland Eindhoven University of Technology Vincenzo Ferme Software Institute, USI Lugano Matthias Geiger University of Bamberg Georg Grossmann University of South Australia Simon Harrer innoQ Deutschland GmbH Thomas Heinze German Aerospace Center Pascal Hirmer University of Stuttgart Meiko Jensen Kiel University of Applied Sciences Agnes Koschmider Karlsruhe Institute of Technology Robin Lichtenthäler University of Bamberg Daniel Lübke Leibniz Universität Hannover Sankalita Mandal HPI, University of Potsdam Johannes Manner University of Bamberg Matteo Nardelli University of Rome Tor Vergata Luise Pufahl HPI, University of Potsdam Stephan Reiff-Marganiec University of Leicester Gerald Schermann University of Zurich Joel Scheuner Chalmers | University of Gothenburg Stefan Schönig University of Bayreuth Christian Sturm University of Bayreuth Jan Sürmeli Humboldt University of Berlin Stefan Winzinger University of Bamberg Tammo van Lessen innoQ Deutschland GmbH Han van der Aa Humboldt University of Berlin Sponsoring Institutions innoQ Deutschland GmbH SAP SE Table of Contents Evaluating Methodologies for Business Process Architecture Design – A Pilot Study . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Fernanda Gonzalez-Lopez and Guillermo Bustos Towards a Comprehensive Methodology for Process Mining . . . . . . . . . . . . 9 Kiarash Diba Validation of Smart Contracts Using Process Mining . . . . . . . . . . . . . . . . . . 13 Frank Duchmann and Agnes Koschmider Towards Dynamic Resource Management in Business Processes . . . . . . . . . 17 Sven Ihde, Luise Pufahl, Asvin Goel, and Mathias Weske Estimating the Duration of Blockchain-Based Business Processes Using Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 Stephan Haarmann PANIC – Plugging Data Leak Detection into the Camunda Modeler . . . . . 32 Jasmin Türker and Thomas S. Heinze Model-driven software migration towards fine-grained cloud architectures 35 Robin Lichtenthäler Towards coverage criteria for serverless applications . . . . . . . . . . . . . . . . . . . 39 Stefan Winzinger Towards Performance and Cost Simulation in Function as a Service . . . . . 43 Johannes Manner Analyzing the Importance of JabRef Features from the User Perspective . 47 Martin K. Simon, Linus W. Dietz, Tobias Diez, and Oliver Kopp Generalized Markdown Architectural Decision Records: Capturing the Essence of Decisions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 Oliver Kopp and Anita Armbruster Security Challenges for Cloud Manufacturing: A Case Study in the Space Domain . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 Diana Peters and Thomas S. Heinze Using Voice Assistants as HMI for Robots in Smart Production Systems . 62 Javad Ghofrani and Dirk Reichelt