Legacy Issue Number: 14135
Source: NASA ( Maged Elaasar)
Constraint  in 15.3.15 says:
 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
This constraint should be fixed to match the text.
Updated: Fri, 6 Mar 2015 20:58 GMT