Vol-1028⫷ Vol-1029 ⫸Vol-1030
urn:nbn:de:0074-1029-2

Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

ZEUS 2013
Services und ihre Komposition

Proceedings of the 5 ^th Central-European Workshop on Services and their Composition , ZEUS 2013

Rostock, Germany, February 21-22, 2013 .

Edited by

Oliver Kopp *
Niels Lohmann **

* University of Stuttgart , Institute of Architecture of Application Systems Universitätsstraße 38, 70569 Stuttgart, Germany
** University of Rostock , Institute of Computer Science, 18051 Rostock, Germany

Table of Contents

Front Matter

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

Back Matter

2013-09-05: submitted by Niels Lohmann
2013-09-05 : published on CEUR-WS.org