-
Key: UPDM-454
-
Legacy Issue Number: 12102
-
Status: open
-
Source: International Business Machines ( Mr. Fred Mervine)
-
Summary:
constraint [5] OCL doesn't check for zero or more. Resolution:Add check for zero
Revised Text: [5] Asserts that the elements in the operationalInformationFlow are stereotyped OperationalInformationFlow
self.operationalInformationFlow->notEmpty() implies
self.operationalInformationFlow-> forAll(getAppliedStereotype('UPDM::OperationalInformationFlow')->notEmpty()) -
Reported: UPDM 1.0b1 — Mon, 31 Dec 2007 05:00 GMT
-
Updated: Fri, 6 Mar 2015 20:59 GMT