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.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


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
ID Code:469
Deposited By: Linh Thao Ly
BibTex Export:BibTeX
Deposited On:07 Oct 2008 08:01
Last Modified:14 Oct 2011 10:26

Repository Staff Only: item control page