:facetid:toc:\"db/conf/zeus/zeus2009.bht\"OK:facetid:toc:db/conf/zeus/zeus2009.bhtGero DeckerRealizability of interaction models.ZEUS55-602009Conference and Workshop Papersopenconf/zeus/Decker09https://ceur-ws.org/Vol-438/paper9.pdfhttps://dblp.org/rec/conf/zeus/Decker09URL#5214641Dirk FahlandA scenario is a behavioral view - Orchestrating services by scenario integration.ZEUS8-142009Conference and Workshop Papersopenconf/zeus/Fahland09https://ceur-ws.org/Vol-438/paper2.pdfhttps://dblp.org/rec/conf/zeus/Fahland09URL#5214642Thomas S. HeinzeWolfram AmmeSimon MoserUmstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens.ZEUS88-942009Conference and Workshop Papersopenconf/zeus/HeinzeAM09https://ceur-ws.org/Vol-438/paper14.pdfhttps://dblp.org/rec/conf/zeus/HeinzeAM09URL#5214643Kathrin KaschnerNiels LohmannDoes my service have unspecified behavior?ZEUS22-282009Conference and Workshop Papersopenconf/zeus/KaschnerL09https://ceur-ws.org/Vol-438/paper4.pdfhttps://dblp.org/rec/conf/zeus/KaschnerL09URL#5214644Oliver KoppFrank LeymannDo we need internal behavior in choreography models?ZEUS68-732009Conference and Workshop Papersopenconf/zeus/KoppL09https://ceur-ws.org/Vol-438/paper11.pdfhttps://dblp.org/rec/conf/zeus/KoppL09URL#5214645Oliver KoppMatthias Wieland 0001Frank LeymannTowards choreography transactions.ZEUS49-542009Conference and Workshop Papersopenconf/zeus/KoppWL09https://ceur-ws.org/Vol-438/paper8.pdfhttps://dblp.org/rec/conf/zeus/KoppWL09URL#5214646Tammo van LessenJörg NitzscheDimka KarastoyanovaFacilitating rich data manipulation in BPEL using E4X.ZEUS102-1082009Conference and Workshop Papersopenconf/zeus/LessenNK09https://ceur-ws.org/Vol-438/paper16.pdfhttps://dblp.org/rec/conf/zeus/LessenNK09URL#5214647Niels LohmannKarsten WolfRealizability is controllability.ZEUS61-672009Conference and Workshop Papersopenconf/zeus/LohmannW09https://ceur-ws.org/Vol-438/paper10.pdfhttps://dblp.org/rec/conf/zeus/LohmannW09URL#5214648Ganna MonakovaOliver KoppFrank LeymannImproving control flow verification in a business process using an extended Petri net.ZEUS95-1012009Conference and Workshop Papersopenconf/zeus/MonakovaKL09https://ceur-ws.org/Vol-438/paper15.pdfhttps://dblp.org/rec/conf/zeus/MonakovaKL09URL#5214649Olivia OaneaKarsten WolfAn efficient necessary condition for compatibility.ZEUS81-872009Conference and Workshop Papersopenconf/zeus/OaneaW09https://ceur-ws.org/Vol-438/paper13.pdfhttps://dblp.org/rec/conf/zeus/OaneaW09URL#5214650Jarungjit ParnjaiChristian StahlKarsten WolfA finite representation of all substitutable services and its applications.ZEUS29-342009Conference and Workshop Papersopenconf/zeus/ParnjaiSW09https://ceur-ws.org/Vol-438/paper5.pdfhttps://dblp.org/rec/conf/zeus/ParnjaiSW09URL#5214651Daniel SchulteProzessunterstützung für temporäre, ehrenamtliche und private Gruppen.ZEUS35-412009Conference and Workshop Papersopenconf/zeus/Schulte09https://ceur-ws.org/Vol-438/paper6.pdfhttps://dblp.org/rec/conf/zeus/Schulte09URL#5214652Jan SürmeliDaniela WeinbergCreating a message profile for open nets.ZEUS74-802009Conference and Workshop Papersopenconf/zeus/SurmeliW09https://ceur-ws.org/Vol-438/paper12.pdfhttps://dblp.org/rec/conf/zeus/SurmeliW09URL#5214653Jochen TrauneckerAnforderungen der industriellen Produktion an eine serviceorientierte Architektur.ZEUS42-482009Conference and Workshop Papersopenconf/zeus/Traunecker09https://ceur-ws.org/Vol-438/paper7.pdfhttps://dblp.org/rec/conf/zeus/Traunecker09URL#5214654Karsten WolfA theory of service behavior.ZEUS1-72009Conference and Workshop Papersopenconf/zeus/Wolf09https://ceur-ws.org/Vol-438/paper1.pdfhttps://dblp.org/rec/conf/zeus/Wolf09URL#5214655Daniel WutkeDaniel Martin 0001Frank LeymannA method for partitioning BPEL processes for decentralized execution.ZEUS109-1142009Conference and Workshop Papersopenconf/zeus/WutkeML09https://ceur-ws.org/Vol-438/paper17.pdfhttps://dblp.org/rec/conf/zeus/WutkeML09URL#5214656Oliver KoppNiels Lohmann1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. ProceedingsZEUSCEUR Workshop Proceedings438CEUR-WS.org2009Editorshipopenconf/zeus/2009https://ceur-ws.org/Vol-438https://dblp.org/rec/conf/zeus/2009URL#5220252