Issue 6869: UML 2 Super / state machines / oclIsKindOf arguments error (uml2-superstructure-ftf)
Source: Simula Research Laboratory (Mr. Bran Selic, selic(at)acm.org)
Nature: Uncategorized Issue
Severity: 
Summary: The syntax of the oclIsKindOf() is not correct in all occurrences. For example, constraints 4 and 6 in section 15.3.8 (page 470) use the syntax oclIsKindOf(self.stateMachine, ActivityGraph) whereas constraints 9 and 10 use the syntax owner.oclIsKindOf(Region). 

Resolution: see above
Revised Text: 
Actions taken:
December 31, 2003: received issue
March 8, 2005: closed issue
Discussion: 
On page 470 in constraint 4 of PseudoState remove the term:
and not oclIsKindOf(self.stateMachine, ActivityGraph)
On page 470 in constraint 6 of PseudoState remove the term:
and not oclIsKindOf(self.stateMachine, ActivityGraph)
End of Annotations:=====
ubject: UML 2 Super / state machines / oclIsKindOf arguments error 
X-Mailer: Lotus Notes Release 6.0.2CF1 June 9, 2003 
From: Branislav Selic <bselic@ca.ibm.com> 
Date: Tue, 30 Dec 2003 09:40:05 -0500 
X-MIMETrack: Serialize by Router on D25ML05/25/M/IBM(Release 6.0.2CF1|June 9, 2003) at 
 12/30/2003 09:40:07, 
        Serialize complete at 12/30/2003 09:40:07 


The syntax of the oclIsKindOf() is not correct in all occurrences. For example, constraints 4 and 6 in section 15.3.8 (page 470) use the syntax oclIsKindOf(self.stateMachine, ActivityGraph) whereas constraints 9 and 10 use the syntax owner.oclIsKindOf(Region). 
Bran Selic
Distinguished Engineer
IBM Rational Software


OMG Issue No: 6869 
Title:		UML 2 Super / state machines / oclIsKindOf arguments error
Source:		
International Business Machines (Mr. Bran Selic, bselic@ca.ibm.com)
Summary:
The syntax of the oclIsKindOf() is not correct in all occurrences. For example, constraints 4 and 6 in section 15.3.8 (page 470) use the syntax oclIsKindOf(self.stateMachine, ActivityGraph) whereas constraints 9 and 10 use the syntax owner.oclIsKindOf(Region). 
Discussion:
On page 470 in constraint 4 of PseudoState remove the term:
and not oclIsKindOf(self.stateMachine, ActivityGraph)
On page 470 in constraint 6 of PseudoState remove the term:
and not oclIsKindOf(self.stateMachine, ActivityGraph)
Disposition:	Resolved