Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


EMISA 2004 Informationssysteme im E-Business und E-Government, Beiträge des Workshops der GI-Fachgruppe EMISA (Entwicklungsmethoden für Informationssysteme und deren Anwendung) P-56, 117-128 (2004).

GI, Gesellschaft für Informatik, Bonn
2004


Editors

Fernand Feltz, Andreas Oberweis, Benoît Otjacques (eds.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

On the modeling of correct service flows with BPEL4WS

Manfred Reichert , Stefanie Rinderle and Peter Dadam

Abstract


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 processoriented 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.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-385-7


Last changed 24.01.2012 21:48:15