Source: Elparazim ( Edward Roberts)
"Transitions of the kind local can originate from the border of the containing composite State, or one of its entry
points, or from a Vertex within the composite State."
yet the OCL Constraint for Transition pg. 361 is
A Transition with kind local must have a composite State or an entry point as its source.
inv: (kind = TransitionKind::local) implies
((source.oclIsKindOf (State) and source.oclAsType(State).isComposite) or
(source.oclIsKindOf (Pseudostate) and source.oclAsType(Pseudostate).kind =
which does not include "a Vertex within the composite State"
the diagram fig 14.34 Local Transition does not include "a Vertex within the composite State" but the fig. 14.35 External Transitions
something is wrong here... is the S1 to S2 transition in fig 14.35 correct... then the text is wrong... otherwise other things have to change...
Reported: UML 2.5.1 — Sun, 4 Apr 2021 15:26 GMT
Updated: Mon, 5 Apr 2021 15:32 GMT