Issue 9840: Section: 15.3.12, p 588, 589 (uml2-rtf) Source: (, ) Nature: Clarification Severity: Significant Summary: There are 3 kinds (TransitionKind) of transitions: internal, external and local. Are there firing priorities between these? For example, consider the case of an internal transition within a state and an external transition with same state as its source state, triggered by the same event, with no guard conditions. If that event occurs, which transition(s) will fire? The standard states, "An internal transition in a state conflicts only with transitions that cause an exit from that state," but neither the firing priorities nor the transition selection algorithm define how such a conflict should be resolved. Resolution: Revised Text: Actions taken: June 26, 2006: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 26 Jun 2006 15:20:18 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Mikon Dosogne Company: Engenuity Technologies, Inc. mailFrom: mikon.dosogne@engenuitytech.com Notification: Yes Specification: UML Superstructure Specification Section: 15.3.12 FormalNumber: ptc/2006-04-02 Version: v2.1 RevisionDate: 04/02/2006 Page: 588, 589 Nature: Clarification Severity: Significant HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.12) Gecko/20050915 Firefox/1.0.7 Description There are 3 kinds (TransitionKind) of transitions: internal, external and local. Are there firing priorities between these? For example, consider the case of an internal transition within a state and an external transition with same state as its source state, triggered by the same event, with no guard conditions. If that event occurs, which transition(s) will fire? The standard states, "An internal transition in a state conflicts only with transitions that cause an exit from that state," but neither the firing priorities nor the transition selection algorithm define how such a conflict should be resolved.