For this tutorial you need to have met several pre-requisites:
1. Created at least two interacting WS-BPEL processes (or obtained existing WS-BPEL processes).
2. Created at least two WSDL specifications for the interacting processes in 1.
These inputs are required to perform the verification step.
There are Sample Files which can be used as source files described in this tutorial.