Model Navigator View

The Navigator View provides a hierarchical view of the resources in the Workbench. It is located in the left part of the default SpinRCP Perspective.

  1. Promela models can be either created or imported into the workspace. In either cases you must first create a project (or a file container), where your model(s) will be stored. You can do it by opening the File > Other wizards and when you create your very first project checking the Show All Wizards. Now a General wizard appears. Double-click it and continue by selecting Project > Next. When you create your first project, the small Confirm Enablement window appears. Just click OK. Alternatively, you can just right-click anywhere within the Model Navigator, select New and click Project. In the New Project window, enter the project name. If you want to create the project within the default workspace, leave the checkbox Use default location checked and click Finish. If you want to put a project anywhere in the file system outside the default workspace, uncheck the checkbox and input or select an absolute path for the new project and click Finish. A newly created project appears in the Model Navigator View.
  2. You can organize Promela models in the workspace as you want. You can create a separate project for each model you analyze. In this case you have a flat structure of clearly separated files for each model. You can analyze more differently named models in the same project. In general, you may prefer several projects at the top level and a tree structure of folders and subfolders containing Promela models below them. A new folder/subfolder can be created as follows: Click the project/folder/subfolder, which will be the father of a new folder/subfolder and then select File > Other > General > Folder > Next, enter a folder name into a Folder name textfield, and click Finish. A newly generated folder/subfolder appears at the given place in the Model Navigator.
  3. A new Promela file in SpinRCP can be entered as follows: Click the project/folder/subfolder, where the file should be stored, and select File > Other > Other > Promela file > Next, enter the Promela file name into a File name textfield (the file name extension must be .pml), and click Finish. A newly generated Promela file appears at the given place in the Model Navigator.
  4. If you have an existing Promela model anywhere in your file system, you can simply copy-paste or drag-and-drop it to the appropriate place in the SpinRCP's Model Navigator. Currently, SpinRCP does not support the use of linked Promela model files (those residing in disk system outside SpinRCP's workspace).
In the Model Navigator Tool Bar there are the following options: By right-clicking anywhere in the Model Navigator a drop-down menu with 15 useful Eclipse operations is opened: New ->, Open, Open With ->, Copy, Paste, Delete, Move..., Rename..., Import..., Export..., Refresh, Team ->, Compare With ->, Replace With, and Properties.