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

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. |

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

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

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. |

|