In the Concept Modeling interpretation of UML, a property that has the {sufficient} constraint the Necessary and Sufficient stereotype applied to it indicates that, when an instance satisfies the multiplicity and type constraints for the property’s values, not only is a it a necessary condition to be an instance of the class met, but a sufficient condition is also met (see section Necessary and Sufficient section Condition). | Note |
|---|
| title | Support for an Aristotelian subclass definition |
|---|
| | Making a generalization {sufficient} provides for correct support for an Aristotelian subclass definition, where the subclass is equivalent to the intersection of all of its sufficient conditions. |
To create a sufficient condition
- Right-click on the association end of the property to which the { sufficient } constraint will be applied (unnamed from from “Dog Owner” Owner”). Remember that the property is owned by the class at the opposite end of the association.
- Select
Select Concept Modeling > Make property > Add property constraints to the conditions sufficient to classify an instance instance in the shortcut menu.
 Image Removed Figure 1: Selecting the Make property  Image Added
Toggling the Add property constraints to the conditions sufficient to classify an instance shortcut menu. The {sufficient} constraint is The Necessary and Sufficient stereotype is toggled on for the property.  Image Removed Image Added Figure 2: The sufficient condition is The Necessary and Sufficient stereotype is created. To remove a sufficient condition on a property
- Right-click on the association end of the property of which the {sufficient} constraint will be removed (unnamed from from “Dog Owner”).
- Select Select Concept Modeling > Make property insufficient Remove property constraints to the conditions sufficient to classify an instance.
 Image Removed
Figure 3:  Image Added
Toggling the Remove property constraints to the conditions sufficient Selecting the Make property insufficient to classify an instance shortcut menu.
| 