The LTSA Eclipse toolbar provides a series of toolbar options to assist with managing and analysing LTS processes in the form of Finite State Processes (FSP).
The following actions are performed on the currently selected model (in the current LTSA editor) and the part of the model selected in the Outline View (depending on the action taken).
|
Parse |
|
|
|
Compile |
|
|
|
Compose |
|
|
|
Safety Check |
|
|
|
Progress Check |
|
|
|
Animate |
|
|
|
Draw |
Note: Additional LTSA Eclipse extension plug-ins may also contribute further actions to this default tool bar.