4. ZEUS 2012: Bamberg, Germany
Andreas Schönberger, Oliver Kopp, Niels Lohmann (Eds.): Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 847
Service Adaptation and Synthesis
Christian Gierds: Toward Deciding the Existence of Adaptable Services. 1-8
Jan Sürmeli: Cost-minimal Adapters for Services. 9-16
Christoph Wagner: Partner Synthesis for Data-Dependent Services. 17-24
Service Composition
Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Jaroslaw Skaruz: HarmonICS - a Tool for Composing Medical Services. 25-33
Daniel Stöhr, Sabine Glesner: Automated Composition of Timed Services by Planning as Model Checking. 34-41
Service Language Characteristics
Mario Cortes Cornax, Sophie Dupuy-Chessa, Dominique Rieu: Choreographies in BPMN 2.0: New Challenges and Open Questions. 50-57
Jörg Lenhard, Guido Wirtz: Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN 2.0. 58-65
Process Analysis
Andreas Meyer, Artem Polyvyanyy, Mathias Weske: Weak Conformance of Process Models with respect to Data Objects. 74-80
Sebastian Wagner, Oliver Kopp, Frank Leymann: Towards Verification of Process Merge Patterns with Allen's Interval Algebra. 81-88
Rami-Habib Eid-Sabbagh: Towards Automatic Generation of Process Architectures for Process Collections. 89-96
Workflow Management
Nico Herzberg, Matthias Kunze, Andreas Rogge-Solti: Towards Process Evaluation in Non-Automated Process Execution Environments. 97-103
Daniel Schulte: Towards a Human Task Management Reference Model. 104-111
Service Design
Uwe Breitenbücher, Oliver Kopp, Frank Leymann, Michael Reiter, Dieter Roller, Tobias Unger: Six Strategies for Building High Performance SOA Applications. 120-127
Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt: Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information. 128-135
Andreas Lehmann, Niels Lohmann: Model Support for Confidential Service-Oriented Business Processes. 136-143



