UML 2.2 RTF Avatar
  1. OMG Issue

UML22 — Constraint [2] - Missing parenthesis in OCL

Open Closed All
  • Key: UML22-1179
  • Legacy Issue Number: 6942
  • Status: closed  
  • Source: PostFinance ( Karl Guggisberg)
  • Summary:

    "(self.selector->isEmpty implies not self.represents.isMultivalued()) or (not self.selector->isEmpty implies self.represents.isMultivalued())"

    should be

    "(self.selector->isEmpty() implies not self.represents.isMultivalued()) or (not self.selector->isEmpty() implies self.represents.isMultivalued())"

    Furthermore, I don't understand why this constraint is necessary, since the multiplicy of 'represents' is exactly 1.

  • Reported: UML 2.0 — Wed, 28 Jan 2004 05:00 GMT
  • Disposition: Resolved — UML 2.1
  • Disposition Summary:

    see above
  • Updated: Fri, 6 Mar 2015 22:54 GMT