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¨at Stuttgart, Institut f¨ur Architektur von Anwendungssystemen Universit¨atsstraße 38, 70569 Stuttgart, Deutschland
[email protected] Niels Lohmann
Universit¨at Rostock, Institut f¨ur Informatik 18051 Rostock, Germany
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
