5. ZEUS 2013: Rostock, Germany
Oliver Kopp, Niels Lohmann (Eds.): Proceedings of the 5th Central-European Workshop on Services and their Composition, Rostock, Germany, February 21-22, 2013. CEUR-WS.org 2013 CEUR Workshop Proceedings 1029
Thomas S. Heinze, Wolfram Amme, Simon Moser: Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving. 1-8
Sebastian Wagner, Oliver Kopp, Frank Leymann: Consolidation of Interacting BPEL Process Models with Fault Handlers. 9-16
Jörg Becker, Dominic Breuker: Business Process Mining for Collaborative Service-Oriented Systems - "Duality" of Process Representations and the Need for Statistical Treatment. 17-19
Nico Herzberg, Andreas Meyer: Improving Process Monitoring and Progress Prediction with Data State Transition Events. 20-23
Johannes Wettinger, Oliver Kopp, Frank Leymann: Improving Portability of Cloud Service Topology Models Relying on Script-Based Deployment. 24-27
Christoph Demont, Uwe Breitenbücher, Oliver Kopp, Frank Leymann, Johannes Wettinger: Towards Integrating TOSCA and ITIL. 28-31
Thomas Prinz: Fast Soundness Verification of Workflow Graphs. 32-40
Matthias Geiger, Guido Wirtz: Detecting Interoperability and Correctness Issues in BPMN 2.0 Process Models. 41-44
Abeer Elsafie, Christian Mainka, Jörg Schwenk: A new approach for WS-Policy Intersection using Partial Ordered Sets. 45-48
Evellin Cardoso: Goal-Oriented Enterprise Architecture Analysis. 49-57



