UML 2.3 RTF Avatar
  1. OMG Issue

UML23 — Section: 12.3.14 Figure 12.29 on page 320

Open Closed All
  • Key: UML23-10
  • Legacy Issue Number: 13193
  • Status: closed  
  • Source: Mamezou Co.,Ltd. ( Kenichi Kobayashi)
  • Summary:

    Incorrect: behavior can be shown similarly to Figure 12.29 on page 320, using keywords «precondition» and «postcondition». Correct: behavior can be shown similarly to Figure 12.29 on page 320, using keywords «localPrecondition» and «localPostcondition».

  • Reported: UML 2.2 — Fri, 26 Dec 2008 05:00 GMT
  • Disposition: Resolved — UML 2.3
  • Disposition Summary:

    This issue is incorrect. The annotations on a CallBehaviorAction that are being described are supposed to show the
    pre- and postconditions of the called behavior, not the local pre- and postconditions. This is stated more explicitly in
    the corresponding wording in the UML 2.5 beta specification, in Subclause 16.3.4, under “Call Behavior Actions”.
    Disposition: Closed - No Change
  • Updated: Fri, 6 Mar 2015 20:58 GMT