UPDM 1.0 MAILINGLIST Avatar
  1. OMG Issue

UPDM — 8.3.17.68:Resource Constraints

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

    OCL doesn't check for zero or more. Constraint[5] is unnecessary. [1] Asserts that zero or more effects affect this resource.
    self.effect-> forAll(getAppliedStereotype('UPDM::Effect')->notEmpty())
    Resolution:Add check for zero, delete [5]
    Revised Text:
    [1] Asserts that zero or more effects affect this resource.
    self.effect->notEmpty() implies
    self.effect-> forAll(getAppliedStereotype('UPDM::Effect')->notEmpty())
    [5] Asserts that there is an association between a Competence and the OperationalCapabilityRole that requires it.
    self.getAllAttributes()>asOrderedSet()>select(association->notEmpty() ).association->any (getAppliedStereotype('UPDM::OperationalCapabilityRoleResource')> notEmpty())>notEmpty()

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