UML 2.4 RTF Avatar
  1. OMG Issue

UML24 — UML2 Issue: OCL in resolution 11114 is incorrect

Open Closed All
  • Key: UML24-56
  • Legacy Issue Number: 15267
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    The OCL is the resolution is:

    self.inheritedMember->includesAll(self.inherit(self.parents()->collect(p | p.inheritableMembers(self)))

    It has two problems:

    1- It is missing a closing ")" needed to balance the brackets, correcting this yields

    self.inheritedMember->includesAll(self.inherit(self.parents()->collect(p | p.inheritableMembers(self))))

    2- the "collect" operation above returns a Bag, and since "inherit" operation expects a Set as input, the cast "toSet()" is needed, correcting this yields:

    self.inheritedMember->includesAll(self.inherit( self.parents()>collect(p | p.inheritableMembers(self))>asSet() ))
  • Reported: UML 2.3 — Wed, 26 May 2010 04:00 GMT
  • Disposition: Resolved — UML 2.4
  • Disposition Summary:

    As the summary says
  • Updated: Fri, 6 Mar 2015 20:58 GMT