Oliver Kopp, Niels Lohmann (Eds.) Services and their Composition 5th Central European Workshop, ZEUS 2013 Rostock, Germany, 21–22 February 2013 Proceedings Volume Editors Oliver Kopp Universität Stuttgart, Institut für Architektur von Anwendungssystemen Universitätsstraße 38, 70569 Stuttgart, Deutschland oliver.kopp@iaas.uni-stuttgart.de Niels Lohmann Universität Rostock, Institut für Informatik 18051 Rostock, Germany niels.lohmann@informatik.uni-rostock.de Preface After five years, the Central European Workshop on Services and their Composi- tion (ZEUS) still isn’t a classical workshop, where finished scientific results are presented and published. The discussion of ideas being in a first stage remains the focus of ZEUS. We happily perceived that past ZEUS submissions have been extended and got accepted at major conferences. There were also researchers who met on ZEUS and collaboratively published conference papers. We hope that also this year’s ZEUS will also foster collaboration of different institutions. Due to the movement of services into the Cloud, we have broadened the scope of ZEUS to Cloud-enabled applications and RESTful systems. In this year’s ZEUS edition, we accepted 10 submissions of which 2 honored the extension of the scope and 8 followed the established scope of ZEUS. We thank all authors for their contributions and look forward to fruitful discussions on the workshop. Stuttgart/Rostock, February 2013 Oliver Kopp Niels Lohmann Organization Program Committee Co-chairs Oliver Kopp Universität Stuttgart, Germany Niels Lohmann Universität Rostock, Germany Program Committee Rafael Accorsi University of Freiburg, Germany Dirk Fahland Technische Universiteit Eindhoven, The Netherlands Christian Gierds Humboldt-Universität zu Berlin, Germany Thomas Heinze Friedrich Schiller University of Jena, Germany Meiko Jensen Independent Centre for Privacy and Data Pro- tection Schleswig-Holstein, Germany Agnes Koschmider Karlsruher Institute of Technology, Germany Matthias Kunze Hasso Plattner Institute at the University of Potsdam, Germany Andreas Lehmann Universität Rostock, Germany Philipp Leitner Vienna University of Technology, Austria Henrik Leopold Humboldt-Universität zu Berlin, Germany Stephan Reiff-Marganiec University of Leicester, UK Thomas Ruhroth TU Dortmund, Germany Andreas Schönberger Universtität Bamberg, Germany Silvia Schreier FernUniversität in Hagen, Germany Christian Stahl Technische Universiteit Eindhoven The Netherlands Thomas Stocker University of Freiburg, Germany Jan Sürmeli Humboldt-Universitaet zu Berlin, Germany Ruben Verborgh Universiteit Gent, Belgium Matthias Weidlich Technion – Israel Institute of Technology, Israel Andreas Wombacher University of Twente, The Netherlands Marco Zapletal Vienna University of Technology, Austria Steering Committee Oliver Kopp Universität Stuttgart, Germany Niels Lohmann Universität Rostock, Germany Karsten Wolf Universität Stuttgart, Germany Table of Contents Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Thomas Heinze, Wolfram Amme, and Simon Moser Consolidation of Interacting BPEL Process Models with Fault Handlers . . 9 Sebastian Wagner, Oliver Kopp, and Frank Leymann Business Process Mining for Collaborative Service-Oriented Systems – “Duality” of Process Representations and the Need for Statistical Treatment 17 Jörg Becker and Dominic Breuker Improving Process Monitoring and Progress Prediction with Data State Transition Events . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 Nico Herzberg and Andreas Meyer Improving Portability of Cloud Service Topology Models Relying on Script-Based Deployment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 Johannes Wettinger, Oliver Kopp, and Frank Leymann Towards Integrating TOSCA and ITIL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Christoph Demont, Uwe Breitenbücher, Oliver Kopp, Frank Leymann, and Johannes Wettinger Fast Soundness Verification of Workflow Graphs . . . . . . . . . . . . . . . . . . . . . . 31 Thomas Prinz Detecting Interoperability and Correctness Issues in BPMN 2.0 Process Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Matthias Geiger and Guido Wirtz A new approach for WS-Policy Intersection using Partial Ordered Sets . . . 43 Abeer Elsafie, Christian Mainka, and Jörg Schwenk Goal-Oriented Enterprise Architecture Analysis . . . . . . . . . . . . . . . . . . . . . . . 47 Evellin Cardoso