On the Modeling of Correct Service Flows with BPEL4WS

Manfred Reichert, Stefanie Rinderle, Peter Dadam

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    50 Downloads (Pure)


    Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition language exists. BPEL implementations allow orchestrating complex, stateful interactions among Web Services in a process-oriented way. One important task in this context is to ensure that respective flow specifications can be correctly processed, i.e., there will be no bad surprises (e.g., deadlocks, invocation of service operations with missing input data) at runtime. In this paper we subdivide BPEL schemes into different classes and discuss to which extent instances of these classes can be analyzed for the absence of control flow errors and inconsistencies. Altogether our work shall contribute to a more systematic evolution of the BPEL standard instead of overloading it with too many features.
    Original languageEnglish
    Title of host publicationEMISA 2004 – Informationssysteme im E-Business und E-Government, Beiträge des Workshops der GI-Fachgruppe EMISA
    EditorsF. Feltz, A. Oberweis, B. Otjacques
    Place of PublicationBonn
    PublisherGesellschaft für Informatik
    Number of pages12
    ISBN (Print)3-88579-385-7
    Publication statusPublished - Oct 2004
    EventEMISA 2004 - Information Systems in E-business and E-Government: GI-SIG-EMISA Workshop - Luxembourg, Luxemburg, Luxembourg
    Duration: 6 Oct 20048 Oct 2004

    Publication series

    NameLecture notes in informatics
    PublisherGesellschaft für Informatik
    ISSN (Print)1617-5468


    ConferenceEMISA 2004 - Information Systems in E-business and E-Government
    Other6 - 8 Oct 2004


    • SCS-Services


    Dive into the research topics of 'On the Modeling of Correct Service Flows with BPEL4WS'. Together they form a unique fingerprint.

    Cite this