UML 2.3 RTF Avatar
  1. OMG Issue

UML23 — Difference between OCL and text in constraint [2] of 15.3.15

  • Key: UML23-90
  • Legacy Issue Number: 14135
  • Status: closed  
  • Source: NASA ( Maged Elaasar)
  • Summary:

    Constraint [2] in 15.3.15 says:

    [2] A transition with kind external can source any vertex except entry points.
    context Transition inv:
    source.oclIsKindOf(Pseudostate) and source.oclAsType(Pseudostate).kind = PseudostateKind::entryPoint implies kind = TransitionKind::local)

    • Is the text and OCL saying that same thing? I think the text is saying "A implies not B", while the OCL is saying "B implies C", where:

    A : kind = TransitionKind::external
    B : source.oclIsKindOf(Pseudostate) and source.oclAsType(Pseudostate).kind = PseudostateKind::entryPoint
    C: kind = TransitionKind::local (this is not the oppsite of "A" as there is a third kind of transition "internal")

  • Reported: UML 2.2 — Tue, 28 Jul 2009 04:00 GMT
  • Disposition: Resolved — UML 2.3
  • Disposition Summary:

    This constraint should be fixed to match the text.

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