Issue 7255: Priority of the joint transition (uml2-rtf) Source: (, ) Nature: Clarification Severity: Significant Summary: The specification says that: "The priority of joined transitions is based on the priority of the transition with the most transitively nested source state". Suppose that a join transition is has two transitions with source states at the same depth, but in two different regions. How is is established which of the two transition defines the priority of the join transition?. Notice that, depending on which transition is choosen, different other transitions might be allowed or disallowed to be fired. Some possible anwers are: - Any of the two transitions can be chosen statically. (i.e. the priority of the join transition always remains the same). - Any of the two transitions can be chosen, and the choice truly, completely nondeterministic (hence possibly dynamic) I.e. the priority of the join transitions can change each time the join transition is fired. Resolution: Revised Text: Actions taken: April 21, 2004: received issue Discussion: Disposition: Deferred to UML 2.4 RTF End of Annotations:===== From: webmaster@omg.org Date: 21 Apr 2004 10:21:02 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Franco Mazzanti Company: ISTI-CNR mailFrom: mazzanti@isti.cnr.it Notification: Yes Specification: UML 2.0 Superstructure Specification Section: 15.3.12 FormalNumber: ptc Version: 03-08-02 RevisionDate: 08/02/2003 Page: 493 Nature: Clarification Severity: Significant HTTP User Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.6) Gecko/20040206 Firefox/0.8 Description The specification says that: "The priority of joined transitions is based on the priority of the transition with the most transitively nested source state". Suppose that a join transition is has two transitions with source states at the same depth, but in two different regions. How is is established which of the two transition defines the priority of the join transition?. Notice that, depending on which transition is choosen, different other transitions might be allowed or disallowed to be fired. Some possible anwers are: - Any of the two transitions can be chosen statically. (i.e. the priority of the join transition always remains the same). - Any of the two transitions can be chosen, and the choice truly, completely nondeterministic (hence possibly dynamic) I.e. the priority of the join transitions can change each time the join transition is fired.