| Vol-2339 urn:nbn:de:0074-2339-8 Copyright © 2019 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# ZEUS 2019
Workshop on Services and their Composition

### Proceedings of the 11th Central European Workshop on Services and their Composition

### Bayreuth, Germany, February 14–15, 2019.

Edited by

### Stefan Kolb *
Christian Sturm **

* University of Bamberg, Distributed Systems Group, An der Weberei 5, DE-96049 Bamberg, Germany
** University of Bayreuth, Institute for Computer Science, Universitätsstraße 30, DE-95447 Bayreuth, Germany

## Table of Contents

- Preface

### Paper Session I – Business Processes - Design and Process Mining

- Evaluating Methodologies for Business Process Architecture Design – A Pilot Study 1-8
  Fernanda Gonzalez-Lopez, Guillermo Bustos
- Towards a Comprehensive Methodology for Process Mining (short paper) 9-12
  Kiarash Diba
- Validation of Smart Contracts Using Process Mining (short paper) 13-16
  Frank Duchmann, Agnes Koschmider

### Paper Session II – Business Processes - Runtime

- Towards Dynamic Resource Management in Business Processes 17-23
  Sven Ihde, Luise Pufahl, Asvin Goel, Mathias Weske
- Estimating the Duration of Blockchain-Based Business Processes Using Simulation 24-31
  Stephan Haarmann
- PANIC — Plugging Data Leak Detection into the Camunda Modeler (short paper) 32-34
  Jasmin Türker, Thomas S. Heinze

### Paper Session III – Serverless Computing and FaaS

- Model-driven Software Migration Towards Finegrained Cloud Architectures (short paper) 35-38
  Robin Lichtenthäler
- Towards Coverage Criteria for Serverless Applications (short paper) 39-42
  Stefan Winzinger
- Towards Performance and Cost Simulation in Function as a Service (short paper) 43-46
  Johannes Manner

### Paper Session IV – Software Design

- Analyzing the Importance of JabRef Features from the User Perspective 47-54
  Martin K. Simon, Linus W. Dietz, Tobias Diez, Oliver Kopp
- Generalized Markdown Architectural Decision Records: Capturing the Essence of Decisions (short paper) 55-57
  Oliver Kopp, Anita Armbruster

### Paper Session V – IoT and Cloud Manufacturing

- Security Challenges of Cloud Manufacturing: A Case Study in the Aerospace Domain (short paper) 58-61
  Diana Peters, Thomas S. Heinze
- Using Digital Smart Assistants as HMI for Robots in Smart Production Systems (short paper) 62-65
  Javad Ghofrani, Dirk Reichelt

- Backmatter

2019-03-31: submitted by Stefan Kolb, metadata incl. bibliographic data published under Creative Commons CC0
2019-04-01: published on CEUR-WS.org |valid HTML5|