Configuring BPEL Processes - Oracle SOA BPEL Process Manager 11gR1 - page 85

As a final verification, you may review the WSDL file content to ensure that the prop-
erties of the correlation set are defined.