The interactions view of WS-Engineer provides verification of collaborating WS-BPEL orchestration processes. We model the interaction sequences built to support multiple-partner conversations across enterprise domains and with a view of wider goals. We limit the scope of choreography analysis to that of interactions between compositions.
The interactions view can be accessed by selecting the 
tab on the WS-Engineer view tab list.
You can skip to a particular topic of interactions analysis by selecting a button on the image below.
The verification performs a service "port connector" based mapping. The verification ensures that the interacting partners of the service composition fulfill required interaction behaviour, in the correct sequence and over the correct channels.
You can read more about this type of verification in Chapter 6 of "A Rigorous Approach to Engineering Web Service Compositions" by Howard Foster Imperial College London.