Essence 1.1 RTF Avatar
  1. OMG Issue

ER — Correction to the resolution to Issue ER-2

Open Closed All
  • Key: ER-43
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The resolution to Issue ER-2 added a shortDescription attribute to the Checkpoint language element and updated the invariant for that element to "self.shortDescription <> null implies self.description <> null". However, the Checkpoint::description attribute is mandatory (multiplicity [1]), so it can never be null. This means that the new invariant is unnecessary.

    Also, the correct number for the new subclause is 9.7.5.8.2, not 9.7.4.7.5.
  • Reported: Essence 1.0 — Thu, 28 May 2015 16:08 GMT
  • Disposition: Resolved — Essence 1.1
  • Disposition Summary:

    Do not add invariant

    As proposed in the issue description, do not add the invariant proposed in the adopted resolution to Issue ER-2 and correct the subclause number.
  • Updated: Fri, 2 Oct 2015 15:41 GMT