On the Modeling of Correct Service Flows with BPEL4WS

Reichert, Manfred and Rinderle, Stefanie and Dadam, Peter (2004) On the Modeling of Correct Service Flows with BPEL4WS. In: EMISA 2004 - Informationssysteme im E-Business und E-Government , Luxemburg.

[thumbnail of RRD04e.pdf]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (116kB)

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.

Item Type: Conference or Workshop Item (Paper)
Subjects: DBIS Research > Publications
Depositing User: Linh Thao Ly
Date Deposited: 07 Oct 2008 08:01
Last Modified: 14 Oct 2011 10:26
URI: http://dbis.eprints.uni-ulm.de/id/eprint/469

Actions (login required)

View Item
View Item