This is the reference manual for ProR.
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
By default, ProR shows three views.
The ProR menu contains entries to launch a number of configuration dialogs.
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.
As an example, consider the following Datatype Configuration Dialog:
The Spec Type for "Requirements Type", which is applicable to SpecObjects, is expanded. The Spec Type has two attributes, "Description" (String) and "Status" (Enumeration). Status is selected, and in the pane below the mandatory values, "Long Name" and "Type" have been set. Further customization of the attribute is possible, e.g. by converting it in a Multi-Valued attribute by setting the corresponding flag to "true".
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:
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.