-
Key: UPDM-453
-
Legacy Issue Number: 12101
-
Status: open
-
Source: International Business Machines ( Mr. Fred Mervine)
-
Summary:
Constraints [1], [2] OCL doesn’t check for zero or more. Resolution:Add check for zero
Revised Text: [1] Asserts that this InformationElement is associated with an OperationalActivityFlow. self.operationalCapabilities->notEmpty() implies
self.operationalInformationFlow.getAppliedStereotype ('UPDM::OperationalInformationFlow')->notEmpty()[2] Asserts that there are zero or more InformationExchanges that utilize this InformationElement self.operationalCapabilities->notEmpty() implies
self.informationExchange-> forAll(getAppliedStereotype ('UPDM::InformationExchange')->notEmpty()) -
Reported: UPDM 1.0b1 — Mon, 31 Dec 2007 05:00 GMT
-
Updated: Fri, 6 Mar 2015 20:59 GMT