Issue 19658: Ambiguity in description of TransitionKind (uml2-rtf) Source: (, ) Nature: Clarification Severity: Significant Summary: The spec seems to be contradictory regarding local transitions: in p. 378 is says that a local transition "[...] will not exit the composite (source) State, but it will exit and re-enter any state within the composite state that is in the current state configuration". Since it says "re-enter" it is implying that the current configuration doesn't change. However on p.328 it states that "for local Transitions the target Vertex must be different than the source Vertex". The only way I can reconcile the two is if by "source Vertex" and "target Vertex" they mean an exit point and entry point of the same composite state, i.e., being a self-transition. In summary, the formal definition in p.378 suggests that local transitions must be self-loops, while the description of p.328 suggests that local transitions cannot be self-loops. Both cases seem to be unnecessary restrictions, and there are no constraints in Transition enforcing those restrictions Resolution: Revised Text: Actions taken: November 18, 2014: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 18 Nov 2014 14:59:59 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Ernesto Posse Employer: Zeligsoft mailFrom: eposse@zeligsoft.com Terms_Agreement: I agree Specification: OMG Unified Modeling Language TM (OMG UML) Section: 14 FormalNumber: ptc/2013-09-05 Version: 2.5 Doc_Year: 2013 Doc_Month: September Doc_Day: Day Page: 328,378 Title: Ambiguity in description of TransitionKind Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Remote Name: 162.213.136.164.static.addr.broadnetworks.ca Remote User: HTTP User Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_9_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/38.0.2125.122 Safari/537.36 Time: 02:59 PM Description: The spec seems to be contradictory regarding local transitions: in p. 378 is says that a local transition "[...] will not exit the composite (source) State, but it will exit and re-enter any state within the composite state that is in the current state configuration". Since it says "re-enter" it is implying that the current configuration doesn't change. However on p.328 it states that "for local Transitions the target Vertex must be different than the source Vertex". The only way I can reconcile the two is if by "source Vertex" and "target Vertex" they mean an exit point and entry point of the same composite state, i.e., being a self-transition. In summary, the formal definition in p.378 suggests that local transitions must be self-loops, while the description of p.328 suggests that local transitions cannot be self-loops. Both cases seem to be unnecessary restrictions, and there are no constraints in Transition enforcing those restrictions.