Skip to main content
Jump to: navigation, search

RMF/User Guide/Reference

This is the reference manual for ProR.

Editors

Upon opening a ReqIF Model, the ReqIF Editor opens that provides an overview of the model. A model contains any number of specifications, and each specification is opened in its own editor.

ReqIF Overview Editor

Specification Editor

Views

By default, ProR shows three views.

Project View

Properties View

Outline View

Configurations

The ProR menu contains entries to launch a number of configuration dialogs.

General Configuration

Datatype Configuration

This configuration is opened via ProR | Datatype Configuration ...

The dialog shows two folders, one for SpecTypes and one for Datatypes. SpecTypes are created for typing elements that have attributes (SpecObjects, Specifications, SpecRelations). New SpecTypes can be created by right-clicking on the folder and selecting "New Child". Through the same mechanism, attribute definitions can be added to a SpecType. attribute definitions are typed. Selecting an element shows its properties in the lower pane, where it can be configured.

Attribute definitions must have a name and a datatype. Some attribute definitions allow further customization. The datatype is selected from a dropdown. New datatypes can be created by right-clicking on the folder "Datatypes" and selecting "New Child". Again, selecting a datatype shows its properties in the lower pane, where it can be configured. A datatype should have at least a long name.

Enumeration Datatypes

An enumeration datatype must have enumeration values. These are created by right-clicking the enumeration datatype and selecting New Child | Enum Value. You may have to unfold the enum value to select it, so that you can provide it with a Long Name. The following shows a correctly configured enumeration datatype:

Rmf enumeration.png

Presentation Configuration

Column Configuration

This configuration is specific to the Specification Editor.

The Column Configuration Dialog configures the Columns of a Specification. Columns are identified by name. The width of the column can be adjusted directly by dragging the column separator in the table header.

If the SpecObject has an attribute where the name of the attribute matches the name of the column, then that attribute is shown in that column.

Back to the top