MSC Trace from BPEL Process

Top  Previous  Next

This tutorial demonstrates producing a Message Sequence Chart trace from the analysis of a Business Process Execution Language for Web Service (BPEL4WS) process specification.  Each step is illustrated with an example figure.

 

1.Locate the SENSORIA Browser view and check that the following plug-ins have been installed.

 

Analysis -> Web Services -> WS-Engineer

Modeller -> MSC -> LTSA MSC

 

 

sctltsamscbpel1

 

2.Select and invoke the checkBPELProgress method on the WS-Engineer Tool info view, and then use the invoke function wizard to select a BPEL process file or string.

 

sctltsamscbpel2

 

 

3.If the call was successful, check that the result is on the SCT Blackboard view.

 

sctltsamscbpel3

 

 

4.Use the result on the SCT Blackboard as Input to the LTSA MSC plug-in method mscFromLTSATrace.

 

sctltsamscbpel4

 

5.If successful, a new LTSA MSC editor window will display with a graphical trace of the BPEL interactions.  If the call is not successful, please check the result on the SCT Blackboard.

 

sctltsamscbpel5