UML 2.2 RTF Avatar
  1. OMG Issue

UML22 — body expression for Property::isConsistentWith(RedefinableElement)

Open Closed All
  • Key: UML22-1026
  • Legacy Issue Number: 9085
  • Status: closed  
  • Source: Eclipse Foundation ( Mr. Kenneth Hussey)
  • Summary:

    The body expression for Property::isConsistentWith(RedefinableElement) is incorrect; it should be:

    result = redefinee.oclIsKindOf(Property) and
    let prop : Property = redefinee.oclAsType(Property) in
    (prop.type.conformsTo(self.type) and
    ((prop.lowerBound()>notEmpty() and self.lowerBound()>notEmpty()) implies prop.lowerBound() >= self.lowerBound()) and
    ((prop.upperBound()>notEmpty() and self.upperBound()>notEmpty()) implies prop.lowerBound() <= self.lowerBound()) and
    (self.isDerived implies prop.isDerived))

  • Reported: UML 2.0 — Wed, 19 Oct 2005 04:00 GMT
  • Disposition: Resolved — UML 2.1
  • Disposition Summary:

    see above
  • Updated: Fri, 6 Mar 2015 20:58 GMT