-
Key: PSSM_-11
-
Status: closed
-
Source: AGI ( Daniel Yankowsky)
-
Summary:
According to the UML 2.5.1 spec, there's a constraint `join_segment_guards` which prohibits transitions whose target is a join pseudostate from having guards or triggers (the constraint's scope is larger than its name would imply). But the sample state machine "Join 003" has triggers on the two transitions entering the join.
Essentially, as I read the UML spec, transitions leading to joins can only be triggered by completion events.
I don't think that restriction is necessary, and can be trivially worked around (make a composite state with a triggered transition entering the final state). But this state machine does appear to violate that constraint.
-
Reported: PSSM 1.0b1 — Thu, 20 Sep 2018 18:16 GMT
-
Disposition: Duplicate or Merged — PSSM 1.0
-
Updated: Mon, 1 Apr 2019 18:19 GMT
PSSM_ — "Join 003" has (invalid) triggers on transitions entering join
- Key: PSSM_-11
- OMG Task Force: PSSM 1.0 FTF 2