For this tutorial you need to have met several pre-requisites:
1. Created a Design Specification for a Web Service Composition as MSCs using the LTSC-MSC Editor.
2. Created a WS-BPEL process (or obtained an existing WS-BPEL process representing the design specification 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.