1. OMG Issue

UML14 — UML 2 Super/Interactions/Alternative with all false guards

  • Key: UML14-523
  • Legacy Issue Number: 7160
  • Status: closed  
  • Source: KDM Analytics ( Nikolai Mansourov)
  • Summary:

    Semantics of the alternative CombinedFragment (page 410) does not describe what happens if all branches are guarded, and
    all guards are false.
    Does this means: a) empty trace, or b) (dynamically) invalid trace ?
    I suggest to add a sentence, defining such traces as dynamically invalid.
    This will be consistent with the behavior of a ConditionalNode in Activities (page 313): "if no test section yields a true value, then no body section is executed; this may be a semantic error if output values are expected from the conditional node".

  • Reported: XMI 2.0 — Mon, 15 Mar 2004 05:00 GMT
  • Disposition: Resolved — UML 1.4.2
  • Disposition Summary:

    see above

  • Updated: Fri, 6 Mar 2015 20:58 GMT