UPDM 1.0 MAILINGLIST Avatar
  1. OMG Issue

UPDM — 8.4.7.6: InformationElement Constraints

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