Tutorial 5 - Create a Parallel Composition

Top  Previous  Next

OK

Prerequisites


Completed Tutorial 4

 

1.Select the LTSA Editor window for the testLTS.lts file.
2.Add the composition process (COMP line 4.) definition after the SEQUENCE process definition, as shown in the following figure.

clip0024

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 the following figure.

 

clip0025

 

5.Select the “COMP” process in the Outline View under Compositions.
6.Right-click the COMP 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 -> LTS Output.
8.Note the compilation result messages.

clip0026