The tool BPELlint validates BPEL files according to 71 static analysis rules from the BPEL 2.0 specification.

This software is licensed under the LGPL Version 3 Open Source License.

• JDK 1.8.0 (64 Bit) or higher
  • JAVA_HOME should point to the jdk directory
  • PATH should include JAVA_HOME/bin

Dual licensed under LGPL Version 3 and EPL 1.0

Requirements (see above) have to be fulfilled to execute BPELlint.

usage: BPELlint [OPTIONS] PATH
PATH can be either a FILE or a DIRECTORY.

 -f,--full                   Prints out the definitions of the violated
                             rules as well.
 -h,--help                   Print usage information.
 -s,--no-schema-validation   Disables xsd schema validations.

Please report issues at https://github.com/uniba-dsg/BPELlint/issues

Examples:
$ BPELlint empty.bpel # Validates the <empty.bpel> file.
$ BPELlint folder # Validates *.bpel files within the <folder> and all its subfolders.

$ BPELlint -f empty.bpel # Validates the <empty.bpel> file including rule definition.

Only the .bpel file path or directory has to be given as parameter, all needed and referenced files will be loaded. With no further parameters the output consists of error position and a short message. Parameter order is not important, only the last used parameter is of importance.

$ gradlew test # run all unit tests
$ gradlew idea # Generating Intellij IDEA project files
$ gradlew eclipse # Generating Eclipse project files
$ gradlew javadoc # Generating JavaDoc

The folder Testcases/betsy is copied by hand for convenience from betsy src/main/tests/files. Checkout https://github.com/uniba-dsg/betsy to get the latest version.

The environment variable BPEL_LINT_SA_RULES constrains the SA rules that are validated. When BPEL_LINT_SA_RULES is not set or set to all then all SA rules are validated if set to 61,2,10 then SA00002, SA00010 and SA00061 are validated.

David Bimamisa, Simon Harrer, Christian Preissinger, Stephan Schuberth

• Fork
• Send Pull Request