To add create a universal quantification constraint
Drag and drop a property to be redefined (e.g., “has” hasfrom “Person”Person) onto a redefining property (e.g.,“has” from “Dog Lover”has from Dog Lover).
Note
title
Note
The property is owned by the class at the opposite end of the association.
Additionally, the
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
.
.
Select Specify that objects may only be from type '{}'.
Image Added
The Specify that objects may only be from type 'Dog' shortcut menu.
The universal quantification constraint will be created.
Image Added
The created universal quantification constraint as redefine.
To create an existential quantification constraint
Drag and drop a property you want to subset (e.g., has from Person) onto the cardinality of the property that will subset another property (e.g., unnamed from Dog Caretaker).
Note
title
Note
The target can have the same name as the source, or can be unnamed.
The resulting subsetting property’s multiplicity is adjusted to conform to the dragged, subsetted property, and to have a minimum cardinality of at least one.
Image Added
Dragging the property onto a cardinality of another property to create an existential quantification constraint.
Do one of the following
To specify the lower value of multiplicity of 2, select Specify multiplicity for type '{}'.
To specify the lower value of multiplicity of 1, select Specify that some objects must be from type '{}'.
Image Added
The Specify multiplicity for type 'Dog' and Specify that some objects must be from type 'Dog' commands.
The existential quantification constraint will be created.
Image Added
The created existential quantification constraint as subset with the lower value of multiplicity of 2 when selecting the Specify multiplicity for type 'Dog' command.
Image Added
The created existential quantification constraint as subset with the lower value of multiplicity of 1 when selecting the Specify that some objects must be from type 'Dog' command
Click Create universal quantification. Image Removed The Create universal quantification shortcut menu