UPDM — Section: 8.7.5.6 Constraints

[3] Asserts that there is a Capability Requirement for this OperationalNode

OCL for [4] is correct for [3], but need OCL for [4]
[3] Asserts that there is at least one OperationalNode associated with this CapabilityRequirement
self.getAllAttributes()>asOrderedSet()>select(association-> notEmpty()).association-> any(getAppliedStereotype('UPDM::OperationalNodeCapabilityRequirement')> notEmpty())>notEmpty()

[4] Asserts that an association exists between the CapabilityRequirement and at least one OperationalCapability
self.getAllAttributes()>asOrderedSet()>select(association-> notEmpty()).association-> any(getAppliedStereotype('UPDM::CapabilityRequirementCapability')> notEmpty())>notEmpty()