Spin Trail to MSC View
SpinRCP includes another view called Spin Trail to MSC that is not shown by default.
You can disclose it by clicking Window > Show View > Other... SpinRCP > Spin Trail to MSC.
It is intended for converting a Spin simulation output trail (produced either by random,
interactive, or guided simulation) to the standard MSC text file formatted according to
ITU-T Recommendation Z.120, which can be displayed in graphical form using external design tools that
support that standard (e.g. ObjectGEODE).
First, you have to enter or select the Spin simulation trail file (extension
out
) that has to be converted. Then, if you want to
display the list of all processes and the list of all transmitted messages among them
during the simulation run, just click the Read button. Both lists will appear in the
tables at the bottom of the view. The displayed lists are helpful, especially if you
decide to enter any of the available options before the conversion. Three options are
the same as in the Simulation View.
One option is new. It offers the opportunity to add a comment into an MSC text file.
Finally, you have to enter or select the name of an MSC file (extension
msc
) to be generated and click the Convert button.
If you double-click an msc
file in the
Model Navigator View, it will be
opened with a default editor, which may be either graphical (e.g. ObjectGeode) or
textual (e.g. Promela Editor or Text Editor). In order to change the editor, right-click
the msc
file, select Open With > and click the wanted editor in the
drop-down menu that appears.