-
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