Version 1.1.0

Checks BPEL processes against 71 of the 94 static analysis rules of BPEL.

The purpose and architecture of the tool is detailed in a conference proceedings paper accepted at the 9th International Symposium on Service-oriented System Engineering (SOSE 2015). The link to the papers is TBA.