Improving the Static Analysis Conformance of BPEL Engines with BPELlint
Faculty/Professorship: | Distributed Systems |
Author(s): | Harrer, Simon ![]() ![]() |
Title of the compilation: | Service-Oriented System Engineering (SOSE), 2015 IEEE Symposium on |
Corporate Body: | 2015 IEEE Symposium on Service-Oriented System Engineering (SOSE), 2015, San Francisco Bay, CA, USA |
Publisher Information: | New York, NY [u.a.] : IEEE |
Year of publication: | 2015 |
Pages: | 31-39 |
Language(s): | English |
DOI: | 10.1109/SOSE.2015.21 |
Abstract: | Today, process-aware systems are ubiquitous. They are built by leveraging process languages for both business and implementation perspectives. In the typical context of a Web Services-based Service-oriented Architecture, the obvious choice to implement service orchestrations is still the Business Process Execution Language (BPEL). For BPEL, a variety of open source and commercial engines have emerged. Although the BPEL standard document defines a set of static analysis rules which should be checked by engines prior to deployment to be standard conformant, previous work revealed that most engines are not capable of revealing all violations of these constraints, resulting in costly runtime errors later on. In this paper, we aim to improve the static analysis conformance of BPEL engines. We implement the tool BPELlint that validates 71 static analysis rules of the BPEL specification, show that the tool can be easily integrated into the deployment process of existing engines, and evaluate its performance to measure the effect on the time to deploy. The results demonstrate that BPELlint can improve the static analysis conformance of BPEL engines with an acceptable performance overhead. |
Keywords: | Static analysis, Standard conformance, BPEL |
Type: | Conferenceobject |
URI: | https://fis.uni-bamberg.de/handle/uniba/21917 |
Year of publication: | 10. July 2015 |

originated at the
University of Bamberg
University of Bamberg