Abstract
BPEL checker is a command-line tool for verification of BPEL code against session protocols. For a given web service implemented in the BPEL language (a BPEL script), the tool can check whether the BPEL script interacts with other services according to the constraints on the order of operation invocations of the other services - the constraints being expressed via session protocols that are defined in the formalism of behavior protocols.