Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Content layer
id323242002
Content column
id323242004
Content block
id323242003

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
    titleNote
    • 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.
    Image Removed

    Image Added

    Dragging the property to be redefined to the redefining property.
  2. Click Create universal quantification.
    Image Removed
    The Create universal quantification Click Specify that objects may only be from type 'Dog'.
    Image Added
    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 universal quantification

Image Removed

Image AddedRemoving a universal quantification constraint from a property by using the Remove specification that objects may only be from type 'Dog' command.
Content block
id323250482

Related pages