Short cuts

 Top  Previous  Next

Below is a list of actions which can be used for quick access to analysis functions in WS-Engineer.

 

1.BPEL4WS / WS-BPEL

 

Safety Analysis

Model Check

 

 

a.Select the BPEL4WS source file in the Navigator View.
b.Right-click the file and select WS-Engineer à Check Safety.

 

 

Progress (Liveness) Analysis

 

a.Select the BPEL4WS source file in the Navigator View.
b.Right-click the file and select WS-Engineer à Check Progress.

 

Check BPEL Design Against MSC

 

a.Select the BPEL4WS source file in the Navigator View.
b.Right-click the file and select WS-Engineer à Check Design (BPEL).

 

 

a.Select the BPEL4WS source file in the Navigator View.
b.Right-click the file and select WS-Engineer à Check Design (SPEC).

 

Check MSC Design Against BPEL