Issue 16581: UML 2.3: Transitions outgoing junction vertexes should be allowed to have triggers (uml2-rtf) Source: oose Innovative Informatik GmbH (Mr. Axel Scheithauer, axel.scheithauer(at)oose.de) Nature: Uncategorized Issue Severity: Summary: The Superstructure 2.3 mentions (15.3.14, page 573) a constraint for transitions: “Transitions outgoing pseudo states may not have a trigger (except for those coming out of the initial pseudo state).” I think this constraint is too limiting. First of all, it is not observed even in the specification: On page 546 it says about state lists (15.3.9, page 546): “Multiple trigger-free and effect-free transitions originating on a set of states and targeting a junction vertex with a single outgoing transition may be presented as a state symbol with a list of the state names and an outgoing transition symbol corresponding to the outgoing transition from the junction.” Conclusion: 1) the transition from each of the states in the list cannot have a trigger 2) the constraint says, that the transition from a junction vertex also cannot have a trigger ==> the transitions out of state lists cannot have triggers However In figure 15.27 and 15.28 such triggers are shown (e, f, logCard, logVerify). Second and more importantly, the described situation of “multiple transitions originating on a set of states and targeting a junction vertex” is quite common and therefore should be allowed, whether or not the modeler wants to use state lists. Suggestion Transitions from junction vertexes should be an exception to the constraint above. So the constraint on transitions needs to be reformulated: Page 573: “Transitions outgoing pseudo states may not have a trigger (except for those coming out of the initial or of junction pseudo states).” Then another constraint needs to be added Page 573: “The outgoing transitions of a junction pseudo state may have triggers only, when the incoming transitions originate from states and don’t have triggers.” Resolution: Revised Text: Actions taken: October 4, 2011: received issue Discussion: End of Annotations:===== ubject: UML 2.3: Transitions outgoing junction vertexes should be allowed to have triggers Date: Tue, 4 Oct 2011 19:15:07 +0200 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: UML 2.3: Transitions outgoing junction vertexes should be allowed to have triggers thread-index: AcyCuSoMKBb5pSZiRKKq9dYH+/KrsQ== From: "Axel Scheithauer" To: The Superstructure 2.3 mentions (15.3.14, page 573) a constraint for transitions: .Transitions outgoing pseudo states may not have a trigger (except for those coming out of the initial pseudo state).. I think this constraint is too limiting. First of all, it is not observed even in the specification: On page 546 it says about state lists (15.3.9, page 546): .Multiple trigger-free and effect-free transitions originating on a set of states and targeting a junction vertex with a single outgoing transition may be presented as a state symbol with a list of the state names and an outgoing transition symbol corresponding to the outgoing transition from the junction.. Conclusion: 1) the transition from each of the states in the list cannot have a trigger 2) the constraint says, that the transition from a junction vertex also cannot have a trigger ==> the transitions out of state lists cannot have triggers However In figure 15.27 and 15.28 such triggers are shown (e, f, logCard, logVerify). Second and more importantly, the described situation of .multiple transitions originating on a set of states and targeting a junction vertex. is quite common and therefore should be allowed, whether or not the modeler wants to use state lists. Suggestion Transitions from junction vertexes should be an exception to the constraint above. So the constraint on transitions needs to be reformulated: Page 573: .Transitions outgoing pseudo states may not have a trigger (except for those coming out of the initial or of junction pseudo states).. Then another constraint needs to be added Page 573: .The outgoing transitions of a junction pseudo state may have triggers only, when the incoming transitions originate from states and don.t have triggers..