- 
                            Key: UPDM-450
 - 
                            Legacy Issue Number: 12098
 - 
                            Status: open
 - 
                            Source: International Business Machines ( Mr. Fred Mervine)
 - 
                            Summary:
OCL doesn't check for zero or more. [1] Asserts that zero or more OperationalCapabilities have been designated as instrumental in achieving the StrategicMission.
self.operationalCapabilities-> forAll(getAppliedStereotype ('UPDM::OperationalCapability')->notEmpty())
Resolution:Add check for zero
Revised Text: self.operationalCapabilities->notEmpty() implies
self.operationalCapabilities-> forAll(getAppliedStereotype ('UPDM::OperationalCapability')->notEmpty()) - 
                            Reported: UPDM 1.0b1 — Mon, 31 Dec 2007 05:00 GMT
 - 
                            Updated: Fri, 6 Mar 2015 20:59 GMT