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.