-
Key: UMLR-803
-
Status: open
-
Source: Private ( Eshar Gal)
-
Summary:
The specification state in page 312 that the only transition from an initial Pseudostate should never have an associated trigger or guard:
“It is the source for at most one Transition, which may have an associated effect Behavior, but not an associated trigger or guard.”Page 361 specify a constraint for the trigger (initial_transition):
“An initial Transition at the topmost level Region of a StateMachine that has no Trigger.”
inv: (source.oclIsKindOf(Pseudostate) and container.stateMachine->notEmpty()) implies trigger->isEmpty()With the above, an inconsistency appears in page 344, Figure 14.44:
A trigger associated transition originating from the initial pseudostate. -
Reported: UML 2.5.1 — Mon, 15 May 2023 13:52 GMT
-
Updated: Mon, 15 May 2023 18:17 GMT