LTSA Window


The LTSA window contains four objects apart from the menubar.

Stop Button

This is highlighted when LTSA is performing a computation, which could potentially take a long time such as minimisation. Clicking on the Stop button will abort the activity.

Target

The target choice box is used to select the composite process to be analysed. If there is only one composite process then this is set automatically. If no composite process is specified then the target displays "DEFAULT" which is the composite process consisting of the composition of all primitive processes in the current specification. For a specification with multiple composite processes, it is necessary to initialise the target choice when a specification is first loaded by invoking Parse from the Build menu.

FSP Window

The FSP window is used to enter the FSP specification text to be analysed. Text can be loaded from file (using the File menu) if LTSA is running as an application or it may be pasted into the window if LTSA is running as an applet.

Output Window

This contains the results of analysis, error messages etc.