Build Menu


This menu contains all the functions necessary to generate an LTS from an FSP description. However, usually, it is not necessary to invoke these functions directly. For example, compilation is implicitly invoked if the description is changed between successive calls to the safety check function.

Parse
Performs a syntax check on the text in the Edit Pane. The location of the first error detected is highlighted and an error message displayed in the output window. Consequently, errors are located and fixed one at a time.

After a successful parse, the target choice will contain the list of composite processes. The visible composite is the target for compilation etc. In addition, the list of menu's and animations are available from Check/Run is updated.

Compile
Generates an LTS for each of the component processes (whether primitive or composite) of the target composite process. After compilation, the component processes may be viewed either graphically or textually - see Draw Pane and Transitions Pane. Compile will automatically invoke parse if the FSP script in the Edit Pane has been changed since the last Compile (or Parse). However, if a new target or action menu is added, Parse must be invoked explicitly to update the target and run lists.

Compose
Generates a single LTS by composing the component LTSs produced by compile for a specified target. After composition, the LTS may be viewed graphically or textually. Error messages produced during composition indicate safety property violations and deadlocks.

Minimise
Minimises the LTS produced by composition according to Milner's observation equivalence relation.