Towards Standard Conformant BPEL Engines : The Case of Static Analysis

Professorship/Faculty: Lehrstuhl für Praktische Informatik 
Author(s): Preißinger, Christian; Harrer, Simon ; Schuberth, Stephan J.A.; Bimamisa, David; Wirtz, Guido  
Editors: Herzberg, Nico; Kunze, Matthias
Title of the compilation: ZEUS 2014: Services and their Composition : Proceedings of the 6th Central-European Workshop on Services and their Composition, ZEUS 2014, Potsdam, Germany, February 20-21, 2014
Corporate Body: 6th Central European Workshop on Services and their Composition (ZEUS), February 20 - 21, 2014, Potsdam, Germany
Publisher Information: Potsdam
Year of publication: 2014
Pages / Size: S. 57 - 60
Series ; Volume: CEUR Workshop Proceedings; Vol 1140
Language(s): English
Licence: German Act on Copyright 
Document Type: Conferenceobject
The errors in BPEL processes that are only detected at runtime are expensive to fix. Several modelers and process engines for BPEL exist, and the standard defines basic static analysis (SA) rules as a detection mechanism for invalid processes, but the actual conformance of BPEL modelers and engines regarding these rules is unknown. We propose to develop test cases to evaluate the conformance of BPEL modelers and engines regarding static analysis. The evaluation results enable decision makers to identify and use the most conformant engine and modeler that detect errors before runtime and therefore reduce costs
Keywords: SOA, BPEL, static analysis, conformance testing
Release Date: 18. June 2014