Creating and removing universal quantification constraints

To create a universal quantification constraint

1. Drag and drop a property to be redefined (e.g., has from Person) onto a redefining property (e.g., has from Dog Lover).

   Note

   • The property is owned by the class at the opposite end of the association.
   • The target can have the same name as the source, or can be unnamed.
   • The newly redefined property's multiplicity is adjusted to conform to the multiplicity of the dragged, redefined property.

   

   Dragging the property to be redefined to the redefining property.

2. Right-click the redefining property and select Specify that objects may only be from type 'Dog'.
   

   The Specify that objects may only be from type 'Dog' shortcut menu.

3. The universal quantification constraint will be created.

   The created universal quantification constraint as redefined.

To remove a universal quantification constraint

1. Right-click a redefining property.
2. Select Concept Modeling > Remove specification that objects may only be from type 'Dog'.

Removing a universal quantification constraint from a property by using the Remove specification that objects may only be from type 'Dog' command.

Related pages

• Usage
• Restriction