Issue 9237: Section: Classes (uml2-rtf)
Source: NIST (Mr. Conrad Bock, conrad.bock(at)nist.gov)
Nature: Clarification
Severity: Minor
Summary: Can an instance specification for a classifier specify instances of subtypes of the classifier? For example, if Fido is an instance specification for Class Dog, can the runtime object it specifies be an instance of Terrier? 

Resolution: 
Revised Text: 
Actions taken:
January 2, 2006: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 02 Jan 2006 08:48:39 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report



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

Name: Conrad Bock
Company: NIST
mailFrom: conrad.bock@nist.gov
Notification: No
Specification: UML 2
Section: Classes
FormalNumber: formal/05-07-04
Version: 
RevisionDate: 
Page: 
Nature: Clarification
Severity: Minor
HTTP User Agent: Mozilla/4.79 [en] (Windows NT 5.0; U)
Description
Can an instance specification for a classifier specify instances of subtypes of the classifier? For example, if Fido is an instance specification for Class Dog, can the runtime object it specifies be an instance of Terrier?