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 Condition)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 “DogOwner”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 RemovedImage Added
Selecting
Toggling the
Make
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 RemovedImage Added
The
sufficient condition is
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 Added
Image Removed
Selecting
Toggling the
Make property insufficient
Remove property constraints to the conditions sufficient to classify an instance shortcut menu.
