UML 1.4 NO IDEA Avatar
  1. OMG Issue

UML14 — OCL specification 1.1, p. 24, 7.1.7

Open Closed All
  • Key: UML14-735
  • Legacy Issue Number: 1107
  • Status: closed  
  • Source: Anonymous
  • Summary:

    Summary: New or simpler/shorter post conditions:
    b or b2 – post: not ((not b) and (not b2))
    b xor b2 – post: not (b=b2) (replaces previous post)
    b implies b2 – post: (not b) or b2 (replaces prevoius post)
  • Reported: UML 1.1 — Thu, 26 Mar 1998 05:00 GMT
  • Disposition: Resolved — UML 1.2
  • Disposition Summary:

    Considered and declined.
  • Updated: Fri, 6 Mar 2015 21:35 GMT