Services and their Composition Post-Workshop Proceedings 0 1 2 3 Senacor Technologies AG www.senacor.com 0 1 2 3 Andreas Scho ̈nberger University of Bamberg, Distributed Systems Group , Feldkirchenstr. 21, 96052 Bamberg , Germany Faculty Information Systems and Applied Computer Science Niels Lohmann University of Rostock, Institute of Computer Science 18051 Rostock , Germany Oliver Kopp University of Stuttgart, Institute of Architecture of Application Systems Universita ̈tsstraße 38 , 70569 Stuttgart , Germany 2012 -

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. Pflu¨gler University of Augsburg Stephan Rei↵ -Marganiec University of Leicester Andreas Sch¨onberger University of Bamberg Jan Su¨rmeli Humboldt-University of Berlin Robert Warschofsky Hasso Plattner Institute Potsdam Matthias Weidlich Technion, Israel Marco Zapletal TU Vienna III Additional Reviewers

 Uwe Breitenbu¨cher

Robert Engel Andreas Lehmann Dieter Mayrhofer Richard Mu¨ller Christian Pichler Robert Pru¨fer Steve Strauch Jan Su¨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 Towards Verification of Process Merge Patterns with Allen’s Interval Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Sebastian Wagner, Oliver Kopp, and Frank Leymann

Workflow Management

97

 Service Design

Six Strategies for Building High Performance SOA Applications . . . . . . . . . 120 Uwe Breitenbu¨cher, Oliver Kopp, Frank Leymann, Michael Reiter, Dieter Roller, and Tobias Unger Model Support for Confidential Service-Oriented Business Processes . . . . . 136

Andreas Lehmann and Niels Lohmann Index of Authors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144 VI

 Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 Thomas Heinze , Wolfram Amme, Simon Moser, and Kai Gebhardt