- 
                            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