Issue 12855: specificMachine association should be changed to be type StateMachine (uml2-rtf) Source: (, ) Nature: Revision Severity: Significant Summary: The specificMachine association of metaclass ProtocolConformance is of type ProtocolStateMachine, which would seem to prohibit the specificMachine from being a BehaviorStateMachines::StateMachine. However, the text sections of section 15.3.5, including the Description and Semantics sections, are very clear that the conforming StateMachine may be a BehavioralStateMachine::StateMachine, which make sense. So the specificMachine association should be changed to be type StateMachine. Also, Figure 15.5 should be similarly changed. Resolution: Revised Text: Actions taken: September 17, 2008: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 17 Sep 2008 00:11:11 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Alexander Murray Company: Jet Propulsion Laboratory mailFrom: alex.murray@jpl.nasa.gov Notification: Yes Specification: UML Superstructure Section: 15.3.5 FormalNumber: formal/2007-11-02 Version: 2.1.2 RevisionDate: 11/02/2007 Page: 532-533 Nature: Revision Severity: Significant HTTP User Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X 10_5_4; en-us) AppleWebKit/525.18 (KHTML, like Gecko) Version/3.1.2 Safari/525.20.1 Description The specificMachine association of metaclass ProtocolConformance is of type ProtocolStateMachine, which would seem to prohibit the specificMachine from being a BehaviorStateMachines::StateMachine. However, the text sections of section 15.3.5, including the Description and Semantics sections, are very clear that the conforming StateMachine may be a BehavioralStateMachine::StateMachine, which make sense. So the specificMachine association should be changed to be type StateMachine. Also, Figure 15.5 should be similarly changed.