Issue 12380: Section: 15.3.11/Notation (uml2-rtf)
Source:  (, )
Nature: Clarification
Severity: Minor
Summary: In chapter 15.3.12 (p. 568) the keyword "final" is informally introduced for states: "the states VerifyCard, OutOfService, and VerifyTransaction in the ATM state machine in Figure 15.42 have been specified as {final}" This should be mentioned in capter 15.3.11 (State (from BehaviorStateMachines, ProtocolStateMachines)) in section "Notation". Suggestion: "A state that is a leaf (i.e. isLeaf=TURE) can be shown using the keyword {final} after or below the name of the State." 

Resolution: 
Revised Text: 
Actions taken:
April 16, 2008: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 16 Apr 2008 05:27:20 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Torsten Binias
Company: Steria Mummert Consulting AG
mailFrom: torsten.binias@gmx.de
Notification: Yes
Specification: OMG Unified Modeling Language (OMG UML)
Section: 15.3.11/Notation
FormalNumber: formal/2007-11-02
Version: 2.1.2
RevisionDate: 02/11/2007
Page: 555
Nature: Clarification
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:1.8.1.13) Gecko/20080311 Firefox/2.0.0.13
Description
In chapter 15.3.12 (p. 568) the keyword "final" is informally introduced for states: "the states VerifyCard, OutOfService, and VerifyTransaction in the ATM state machine in Figure 15.42 have been specified as {final}" This should be mentioned in capter 15.3.11 (State (from BehaviorStateMachines, ProtocolStateMachines)) in section "Notation". Suggestion: "A state that is a leaf (i.e. isLeaf=TURE) can be shown using the keyword {final} after or below the name of the State."