Issue 12915: Inconsistency in Superstructure 2.2 p. 550 (uml2-rtf)
Source: International Business Machines (Mr. James Bruck, nobody)
Nature: Uncategorized Issue
Severity: 
Summary: There seems to be an  inconsistency in the spec.   


Supersturcture v2.2 ptc/2008-05-xx 
p 550 

The spec mentions:   
A state with isSimple=true is said to be a simple state. A simple state does not have any regions ***and it does not refer to any submachine state machine.***   

It also says in the constraints section ( constraint [4] ) : 
 A simple state is a state without any regions. isSimple = region.isEmpty() 


The constraint seems to be missing the part about not refering to any submachine state machine. 

Resolution: 
Revised Text: 
Actions taken:
October 7, 2008: received issue
Discussion: 

End of Annotations:=====
c: Anthony Hunter <anthonyh@ca.ibm.com>, Linda Damus <ldamus@ca.ibm.com>
Subject: UML2 issue
X-Mailer: Lotus Notes Release 7.0 August 18, 2005
From: James Bruck <jbruck@ca.ibm.com>
Date: Tue, 7 Oct 2008 16:18:48 -0400
X-MIMETrack: Serialize by Router on D25ML03/25/M/IBM(Release 7.0.3FP1|February 24, 2008) at
 10/07/2008 16:18:56,
	Serialize complete at 10/07/2008 16:18:56


Hi Juergen 


Another potential issue with the UML2 spec. 


----------------------- < cut > ---------------------------- 


There seems to be an  inconsistency in the spec.   


Supersturcture v2.2 ptc/2008-05-xx 
p 550 

The spec mentions:  
A state with isSimple=true is said to be a simple state. A simple state does not have any regions ***and it does not refer to any submachine state machine.***  

It also says in the constraints section ( constraint [4] ) : 
 A simple state is a state without any regions. isSimple = region.isEmpty() 


The constraint seems to be missing the part about not refering to any submachine state machine. 


------------------------ < cut > ---------------------------- 

Cheers, 
- James.