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.