UPDM — 8.3.17.68:Resource Constraints

OCL doesn't check for zero or more. Constraint[5] is unnecessary. [1] Asserts that zero or more effects affect this resource.
self.effect-> forAll(getAppliedStereotype('UPDM::Effect')->notEmpty())
Resolution:Add check for zero, delete [5]
Revised Text:
[1] Asserts that zero or more effects affect this resource.
self.effect->notEmpty() implies
self.effect-> forAll(getAppliedStereotype('UPDM::Effect')->notEmpty())
[5] Asserts that there is an association between a Competence and the OperationalCapabilityRole that requires it.
self.getAllAttributes()>asOrderedSet()>select(association->notEmpty() ).association->any (getAppliedStereotype('UPDM::OperationalCapabilityRoleResource')> notEmpty())>notEmpty()