UPDM 1.0 MAILINGLIST Avatar
  1. OMG Issue

UPDM — 8.4.12.6: Needline Constraints

  • Key: UPDM-454
  • Legacy Issue Number: 12102
  • Status: open  
  • Source: International Business Machines ( 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