[CEUR Workshop Proceedings] Vol-438

© 2009 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.



ZEUS 2009
Services und ihre Komposition


Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009

Stuttgart, Germany, March 2–3, 2009.


Edited by

Oliver Kopp 1
Niels Lohmann 2

1 Universität Stuttgart, Institute of Architecture of Application Systems, Universitätsstraße 38, 70569 Stuttgart, Germany
2 Universität Rostock, Insitute of Computer Science, 18051 Rostock, Germany


Proceedings as handed out at the workshop (~11 MB).

Table of Contents

Front Matter

    Invited Talk

  1. A theory of service behavior
    Karsten Wolf (pages 1–7)

    2. Modeling and Specification

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

    7. Choreographies

  7. Towards choreography transactions
    Oliver Kopp, Matthias Wieland, and Frank Leymann (pages 49–54)
  8. Realizability of interaction models
    Gero Decker (pages 55–60)
  9. Realizability is controllability
    Niels Lohmann and Karsten Wolf (pages 61–67)
  10. Do we need internal behavior in choreography models?
    Oliver Kopp and Frank Leymann (pages 68–73)

    11. Verification

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

    15. Execution

  15. Facilitating rich data manipulation in BPEL using E4X
    Tammo van Lessen, Jörg Nitzsche, and Dimka Karastoyanova (pages 102–108)
  16. A method for partitioning BPEL processes for decentralized execution
    Daniel Wutke, Daniel Martin, and Frank Leymann (pages 109–114
Back Matter

Bibtex File

The papers of the proceedings can be cited using this Bibtex file.

25-Feb-2009: submitted by Niels Lohmann
25-Feb-2009: published on CEUR-WS.org