TY - GEN
T1 - On the Modeling of Correct Service Flows with BPEL4WS
AU - Reichert, Manfred
AU - Rinderle, Stefanie
AU - Dadam, Peter
N1 - Publisher Copyright:
© 2004 Gesellschaft fur Informatik (GI). All rights reserved.
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33750006386&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:33750006386
T3 - Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
SP - 117
EP - 128
BT - EMISA 2004 - Informationssysteme im E-Business und E-Government, Beitrage des Workshops der GI-Fachgruppe EMISA
A2 - Feltz, Fernand
A2 - Oberweis, Andreas
A2 - Otjacques, Benoit
PB - Gesellschaft fur Informatik (GI)
T2 - Informationssysteme im E-Business und E-Government, Beitrage des Workshops der GI-Fachgruppe EMISA, EMISA 2004 - Information Systems in E-Business and E-Government. Contributions to the Workshop of the GI Special Interest Group EMISA, EMISA 2004
Y2 - 6 October 2004 through 8 October 2004
ER -