WS-Engineer automatically attempts to match behaviour labels from the WS-BPEL implementation and messages in the Design Specification MSC. However, messages in the Design Specification may not exactly match depending on the choice of labels by the designer.
You can see the mappings used by selecting 
bar at the bottom of the view.
The specification mappings can the be selected representing particular actions in the WS-BPEL process.
You can hide the mappings used by selecting 
bar above the mappings list.