Download Version3.0 Manual

3.6.4.3 All
This item allows to save a graphical description of all basic MSCs and HMSCs within current hmsc
document. In this case all the basic mscs and high level mscs are saved in a single postscript file that can be
read afterwards.
3.6.5 SIMULATION MENU
Some Message Sequence Charts specifications can be simulated. The simulation framework used by
SOFAT is based on the graph grammar framework of [Helouet99]. HMSCs are first transformed into a
gram grammar (this translation is always feasible). The produced graph grammar is a compact
representation of an event structure which configurations are exactly the set of MSCs generated by the
transformed HMSC. When the considered HMSCs are simulable, the graph grammar can be normalized.
This normalized grammar is then used by the simulator.
The functionalities provided here can be performed after Syntax Analysis.
Build Grammar.
The grammar file is built and saved in the Result directory. It is saved with the extension ".gram". The
log area displays the name and location of the grammar file.
Normalize.
This option can be exercised only if the grammar is built correctly. The normalized grammar file has a
name similar to the grammar file with a "_norm" before the extension.
Simulate.
When a grammar has been normalized, it can be used for simulation. Two windows are displayed one
window is the "State" window displaying the events that can be fired in the future. The other window
displays the list of events that can be fired from current state of the simulation. By clicking on an event the
transition is fired, and a new state is computed, and displayed in the "State" window. Figure 27 gives a
snapshot of a running simulation. For more details of the simulation framework used by SOFAT, we refer
interested readers to [Helouet99].