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.