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. Click Specify that objects may only be from type 'Dog'.
   

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

To remove a universal quantification constraint

1. Right-click a redefining property.
2. Select Concept Modeling.
3. Select 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