Validation tool which statically analyzes BPEL files using the statical analysis rules from the BPEL 2.0 specification.