@proceedings{zeus2009,
	Booktitle = {Services und ihre Komposition},
	Editor = {Oliver Kopp and Niels Lohmann},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Url = {http://CEUR-WS.org/Vol-438/},
	Volume = {438},
	Year = {2009}}

@inproceedings{Wolf_2009_zeus,
	Author = {Karsten Wolf},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {1-7},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {A Theory of Service Behavior},
	Url = {http://CEUR-WS.org/Vol-438/paper1.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{Fahland_2009_zeus,
	Author = {Dirk Fahland},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {8-14},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {A scenario is a behavioral view -- Orchestrating services by scenario integration},
	Url = {http://CEUR-WS.org/Vol-438/paper2.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{KaschnerL_2009_zeus,
	Author = {Kathrin Kaschner and Niels Lohmann},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {22-28},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Does my service have unspecified behavior?},
	Url = {http://CEUR-WS.org/Vol-438/paper4.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{ParnjaiSW_2009_zeus,
	Author = {Jarungjit Parnjai and Christian Stahl and Karsten Wolf},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {29-34},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {A Finite Representation of all Substitutable Services and its Applications},
	Url = {http://CEUR-WS.org/Vol-438/paper5.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{Schulte_2009_zeus,
	Author = {Daniel Schulte},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {35-41},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {{Prozessunterst{\"u}tzung f{\"u}r tempor{\"a}re, ehrenamtliche und private Gruppen}},
	Url = {http://CEUR-WS.org/Vol-438/paper6.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{Traunecker_2009_zeus,
	Author = {Jochen Traunecker},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {42-48},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {{Anforderungen der industriellen Produktion an eine serviceorientierte Architektur}},
	Url = {http://CEUR-WS.org/Vol-438/paper7.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{KoppWL_2009_zeus,
	Author = {Oliver Kopp and Matthias Wieland and Frank Leymann},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {49-54},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Towards Choreography Transactions},
	Url = {http://CEUR-WS.org/Vol-438/paper8.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{Decker_2009_zeus,
	Author = {Gero Decker},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {55-60},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Realizability of Interaction Models},
	Url = {http://CEUR-WS.org/Vol-438/paper9.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{LohmannW_2009_zeus,
	Author = {Niels Lohmann and Karsten Wolf},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {61-67},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Realizability is controllability},
	Url = {http://CEUR-WS.org/Vol-438/paper10.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{KoppL_2009_zeus,
	Author = {Oliver Kopp and Frank Leymann},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {68-73},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Do We Need Internal Behavior in Choreography Models?},
	Url = {http://CEUR-WS.org/Vol-438/paper11.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{SuermeliW_2009_zeus,
	Author = {Jan S{\"u}rmeli and Daniela Weinberg},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {74-80},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Creating Message Profiles of Open Nets},
	Url = {http://CEUR-WS.org/Vol-438/paper12.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{OaneaW_2009_zeus,
	Author = {Olivia Oanea and Karsten Wolf},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {81-87},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {An efficient necessary condition for compatibility},
	Url = {http://CEUR-WS.org/Vol-438/paper13.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{HeinzeAM_2009_zeus,
	Author = {Thomas Heinze and Wolfram Amme and Simon Moser},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {88-94},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {{Umstrukturierung von {WS-BPEL}-Prozessen zur Verbesserung des Validierungsverhaltens}},
	Url = {http://CEUR-WS.org/Vol-438/paper14.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{MonakowaKL_2009_zeus,
	Author = {Ganna Monakova and Oliver Kopp and Frank Leymann},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {95-101},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Improving Control Flow Verification in a Business Process using an Extended {Petri} Net},
	Url = {http://CEUR-WS.org/Vol-438/paper15.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{LessenNK_2009_zeus,
	Author = {Tammo {van} Lessen and J{\"o}rg Nitzsche and Dimka Karastoyanova},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {102-108},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {Facilitating Rich Data Manipulation in {BPEL} using {E4X}},
	Url = {http://CEUR-WS.org/Vol-438/paper16.pdf},
	Volume = {438},
	Year = {2009}}

@inproceedings{WutkeML_2009_zeus,
	Author = {Daniel Wutke and Daniel Martin and Frank Leymann},
	Booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
	Editor = {Oliver Kopp and Niels Lohmann},
	Pages = {109-114},
	Publisher = {CEUR-WS.org},
	Series = {CEUR Workshop Proceedings},
	Title = {A Method for Partitioning {BPEL} Processes for Decentralized Execution},
	Url = {http://CEUR-WS.org/Vol-438/paper17.pdf},
	Volume = {438},
	Year = {2009}}
