BPEL checker plugin for Eclipse allows checking of BPEL files in a simple way. The plugin publishes the Check BPEL file action in the context menu of the file navigator that is associated (and enabled) only for files with the bpel extension.
When this action is executed, the BPEL checker is run and its output is displayed in the Eclipse console