Difference between revisions of "Modeler:8/RepositoryRules"
| Line 21: | Line 21: | ||
= All object type expressions must be used = | = All object type expressions must be used = | ||
Object types expressions generally are created during qualification of fact expressions. This rule states that the object type expressions should be verbalized as part of another object types of fact type expression. | |||
= Non-lexical object types without totality constraints must have a fact type expressions = | = Non-lexical object types without totality constraints must have a fact type expressions = | ||
= The actual population of every fact type must be verbalizable = | = The actual population of every fact type must be verbalizable = | ||
Revision as of 13:54, 20 October 2014
Model Well-formednes
This window shows the well-formednes rules for the active model.
Every fact type must have an intra UC
There must exist at least one Uniqueness Constraint on the roles within the object of fact type.
The N rule must be valid for every nominalized fact type
All roles within a nominalized fact type must be covered under a single uniqueness constraint.
The N-1 rule must be valid for every fact type
Facts are required to have at one or more uniqueness constraint over N-1 roles.
The subtype rule must be valid for every subype
In a fact type that is a subtype, all roles have a single role uniqueness constraint. For nominalized subtypes, all object type expressions concern exactly one role.
The alias of an object/fact type must be unique
Object / fact types names must be unique, this includes the alias set at the fact property dialog.
All object type expressions must be used
Object types expressions generally are created during qualification of fact expressions. This rule states that the object type expressions should be verbalized as part of another object types of fact type expression.