Services and their Composition th Central European Workshop Rostock Germany February Proceedings -

Volume Editors After five years, the Central European Workshop on Services and their Composition (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

Organization

 Program Committee Co-chairs Oliver Kopp Niels Lohmann Universität Stuttgart, Germany 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 Protection 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 Niels Lohmann Karsten Wolf Universität Stuttgart, Germany Universität Rostock, Germany Universität Stuttgart, Germany

Towards Integrating TOSCA and ITIL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Christoph Demont, Uwe Breitenbücher, Oliver Kopp, Frank Leymann, and Johannes Wettinger Fast Soundness Verification of Workflow Graphs . . . . . . . . . . . . . . . . . . . . . .

Thomas Prinz

 Detecting Interoperability and Correctness Issues in BPMN 2 .0 Process