Andreas Schönberger, Oliver Kopp, Niels Lohmann (eds.) Services and their Composition 4th Central European Workshop on Services and their Composition 4. Zentral-europäischer Workshop über Services und ihre Komposition ZEUS 2012, Bamberg, February 23.-24. 2012 Post-Workshop Proceedings ZEUS 2012 is kindly supported by: Senacor Technologies AG www.senacor.com Distributed Systems Group Faculty Information Systems and Applied Computer Science
Editors: Andreas Schönberger University of Bamberg, Distributed Systems Group, Feldkirchenstr. 21, 96052 Bamberg, Germany andreas.schoenberger@uni-bamberg.de Oliver Kopp University of Stuttgart, Institute of Architecture of Application Systems Universitätsstraße 38, 70569 Stuttgart, Germany oliver.kopp@iaas.uni-stuttgart.de Niels Lohmann University of Rostock, Institute of Computer Science 18051 Rostock, Germany niels.lohmann@informatik.uni-rostock.de Copyright c 2012 for the individual papers by the papers authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.
Program Committee Rafael Accorsi University of Freiburg Daniel Beimborn University of Bamberg Gero Decker signavio Daniel Eichhorn Karlsruhe Institute of Technology Dirk Fahland TU Eindhoven Christian Gierds Humboldt-University of Berlin Christian Huemer TU Vienna Meiko Jensen Ruhr-University Bochum Nils Joachim University of Bamberg Oliver Kopp University of Stuttgart Philipp Leitner TU Vienna Niels Lohmann University of Rostock Christoph M. Pflügler University of Augsburg Stephan Rei -Marganiec University of Leicester Andreas Schönberger University of Bamberg Jan Sürmeli Humboldt-University of Berlin Robert Warschofsky Hasso Plattner Institute Potsdam Matthias Weidlich Technion, Israel Marco Zapletal TU Vienna III
Additional Reviewers Uwe Breitenbücher Robert Engel Andreas Lehmann Dieter Mayrhofer Richard Müller Christian Pichler Robert Prüfer Steve Strauch Jan Sürmeli Tobias Unger Christoph Wagner Sebastian Wagner University of Stuttgart TU Vienna University of Rostock TU Vienna Humboldt-University of Berlin TU Vienna Humboldt-University of Berlin University of Stuttgart Humboldt-University of Berlin University of Stuttgart Humboldt-University of Berlin University of Stuttgart IV
Table of Contents Service Adaptation and Synthesis Toward Deciding the Existence of Adaptable Services... 1 Christian Gierds Cost-minimal Adapters for Services... 9 Jan Sürmeli Partner Synthesis for Data-Dependent Services... 17 Christoph Wagner Service Composition HarmonICS - a Tool for Composing Medical Services... 25 Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Polrola, and Jaroslaw Skaruz Automated Composition of Timed Services by Planning as Model Checking 34 Daniel Stöhr and Sabine Glesner Best Service Synthesis in the Weighted Roman Model... 42 Diego Calvanese and Ario Santoso Service Language Characteristics Choreographies in BPMN 2.0: New Challenges and Open Questions... 50 Mario Cortes-Cornax, Sophie Dupuy-Chessa, and Dominique Rieu Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN 2.0. 58 Jörg Lenhard and Guido Wirtz A Survey on Approaches for Timed Services... 66 Kristian Duske and Richard Müller Process Analysis Weak Conformance of Process Models with respect to Data Objects... 74 Andreas Meyer, Artem Polyvyanyy, and Mathias Weske Towards Verification of Process Merge Patterns with Allen s Interval Algebra... 81 Sebastian Wagner, Oliver Kopp, and Frank Leymann
Towards Automatic Generation of Process Architectures for Process Collections... 89 Rami-Habib Eid-Sabbagh Workflow Management Towards Process Evaluation in Non-Automated Process Execution Environments... 97 Nico Herzberg, Matthias Kunze, and Andreas Rogge-Solti Towards a Human Task Management Reference Model... 104 Daniel Schulte Contextsensitive Online Adaption of Workflows... 112 Johannes Kretzschmar and Clemens Beckstein Service Design Six Strategies for Building High Performance SOA Applications... 120 Uwe Breitenbücher, Oliver Kopp, Frank Leymann, Michael Reiter, Dieter Roller, and Tobias Unger Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information... 128 Thomas Heinze, Wolfram Amme, Simon Moser, and Kai Gebhardt Model Support for Confidential Service-Oriented Business Processes... 136 Andreas Lehmann and Niels Lohmann Index of Authors... 144 VI