WS-Engineer includes a series of preferences pages, accessed from the Eclipse menu item: Window à Preferences à LTSA WS-Engineer.
Preferences are split in to General WS-Engineer verification preferences (applies to actions taken in the WS-Engineer view), WS-BPEL preferences (applies to the translation of WS-BPEL processes in the Eclipse environment and LTSA-WSBPEL Editor) and WS-CDL preferences (applies to the translation of WS-CDL choreography specifications).
Note: Open this topic 
to browse the contents of preferences.