For this tutorial you need to have met several pre-requisites:
1. Created a service choreography policy in the form of WS-CDL.
2. Created a WS-BPEL process (or obtained an existing WS-BPEL process representing the role of a partner in the choreography created 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.