| 1. | Create a new LTS process file called testLTS.lts, as described in the “Working with LTSA Eclipse” area “Creating a new LTS Container File” section. |
| 2. | Select the LTSA Editor window for the testLTS.lts file. |
| 3. | Enter the following process statements. Return on each new line as it appears in Figure 4.. |
Figure 4 LTSA Editor View for new LTS
| 4. | Select File -> Save. |
| 5. | Notice the Outline View is updated with the new processes defined. If the Outline View is not visible, enable it through the Window -> Show View -> Other -> Basic -> Outline menu command. The Outline View is illustrated in Figure 5. |
Figure 5 Outline View for new LTS
| 1. | Select different processes in the Outline View and note how the focus of view changes to the process definition in the LTSA Editor view. |
Compiling the sequence process and examining the Output View
| 1. | Select the “SEQUENCE” process in the Outline View. |
| 2. | Right-click the SEQUENCE process in the Outline View, Figure 4 (left), and select the Compile item from the popup menu list. |
| 3. | Switch to the Output View. If this view is not visible, enable it by Window -> Show View -> Other -> LTSA -> Output. |
| 4. | Note the compilation result messages, as illustrated in Figure 4 (right). |
Figure 4 Compile action (left) and Output View of compiled processes (right)
View the process in the Graphical LTS Process Draw view
| 1. | Select the “SEQUENCE” process in the Outline View. |
| 2. | Right-click the SEQUENCE process in the Outline View and select the View Process item from the popup menu list. |
| 3. | Switch to the LTS Process view. If this view is not visible, enable it by Window -> Show View -> Other -> LTSA -> LTS Process. |
| 4. | Select the SEQUENCE process (from the left hand pane listing the processes compiled). |
| 5. | Use the Expand/Reduce Height/Width view toolbar to expand or reduce the drawing canvas. |
Figure 5 LTS Process view as Graphical LTS Draw
Creating a parallel composition process in the LTSA Editor view
| 1. | Select the LTSA Editor window for the testLTS.lts file. |
| 2. | Add the composition process (FLOW line 4.) definition after the SEQUENCE process definition, as shown in Figure 6. |
Figure 6 LTSA Editor View for new LTS with parallel composition definition
| 3. | Select File -> Save. |
| 4. | Notice the Outline View is updated with the new composition defined. If the Outline View is not visible, enable it through the Window -> Show View -> Other -> Basic -> Outline menu command. The Outline View is illustrated in Figure 3. |
Figure 7 Outline View for new LTS with FLOW composition defined
| 5. | Select the “FLOW” process in the Outline View under Compositions. |
| 6. | Right-click the FLOW process in the Outline View and select the Compose item from the popup menu list. |
| 7. | Switch to the Output View. If this view is not visible, enable it by Window -> Show View -> Other -> LTSA -> Output. |
| 8. | Note the compilation result messages. |
| 9. | Switch to the LTS Process view. If this view is not visible, enable it by Window -> Show View -> Other -> LTSA -> LTS Process. |
| 10. | Select the FLOW process (from the left hand pane listing the processes compiled). |
| 11. | Use the Expand/Reduce Height/Width view toolbar to expand or reduce the drawing canvas. |
Figure 8 LTS Draw view of composed FLOW process
END OF TUTORIAL