UPDM 1.0 MAILINGLIST Avatar
  1. OMG Issue

UPDM — 8.3.21.6 :Strategic Mission Constraints

  • Key: UPDM-450
  • Legacy Issue Number: 12098
  • Status: open  
  • Source: International Business Machines ( Fred Mervine)
  • Summary:

    OCL doesn't check for zero or more. [1] Asserts that zero or more OperationalCapabilities have been designated as instrumental in achieving the StrategicMission.

    self.operationalCapabilities-> forAll(getAppliedStereotype ('UPDM::OperationalCapability')->notEmpty())
    Resolution:Add check for zero
    Revised Text: self.operationalCapabilities->notEmpty() implies
    self.operationalCapabilities-> forAll(getAppliedStereotype ('UPDM::OperationalCapability')->notEmpty())

  • Reported: UPDM 1.0b1 — Mon, 31 Dec 2007 05:00 GMT
  • Updated: Fri, 6 Mar 2015 20:59 GMT