1. ZEUS 2009: Stuttgart, Germany

Oliver Kopp, Niels Lohmann (Eds.): 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings. CEUR Workshop Proceedings 438 CEUR-WS.org 2009

Invited Talk

Karsten Wolf:
A theory of service behavior. 1-7

Modeling and Specification

Dirk Fahland:
A scenario is a behavioral view - Orchestrating services by scenario integration. 8-14
Kathrin Kaschner, Niels Lohmann:
Does my service have unspecified behavior? 22-28
Jarungjit Parnjai, Christian Stahl, Karsten Wolf:
A finite representation of all substitutable services and its applications. 29-34
Daniel Schulte:
Prozessunterstützung für temporäre, ehrenamtliche und private Gruppen. 35-41
Jochen Traunecker:
Anforderungen der industriellen Produktion an eine serviceorientierte Architektur. 42-48

Choreographies

Oliver Kopp, Matthias Wieland, Frank Leymann:
Towards choreography transactions. 49-54
Gero Decker:
Realizability of interaction models. 55-60
Niels Lohmann, Karsten Wolf:
Realizability is controllability. 61-67
Oliver Kopp, Frank Leymann:
Do we need internal behavior in choreography models? 68-73

Verification

Jan Sürmeli, Daniela Weinberg:
Creating a message profile for open nets. 74-80
Olivia Oanea, Karsten Wolf:
An efficient necessary condition for compatibility. 81-87
Thomas S. Heinze, Wolfram Amme, Simon Moser:
Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens. 88-94
Ganna Monakova, Oliver Kopp, Frank Leymann:
Improving control flow verification in a business process using an extended Petri net. 95-101

Execution

Tammo van Lessen, Jörg Nitzsche, Dimka Karastoyanova:
Facilitating rich data manipulation in BPEL using E4X. 102-108
Daniel Wutke, Daniel Martin, Frank Leymann:
A method for partitioning BPEL processes for decentralized execution. 109-114