Issue 5732: There is an unnecessary condition in rule 1 of the Namespace element (uml2-superstructure-ftf)
Source:  (, )
Nature: Revision
Severity: Significant
Summary: There is an unnecessary condition in rule 1 of the Namespace element – “me2.name<>’’”. Also we should add the following condition to the OCL expression: “not me1.oclIsKindOf (Generalization) and not me2.oclIsKindOf(Generalization)”.

Resolution: 
Revised Text: 
Actions taken:
October 31, 2002: received issue
March 9, 2005: closed issue
Discussion: 
UML 2.0 does not have special cases for Generalization and
Associations; more generally isDistinguishableFrom() is used to enforce
uniqueness.
Disposition: Closed, no change
End of Annotations:=====
From: webmaster@omg.org 
Date: 31 Oct 2002 07:51:28 -0500 
To: <juergen@omg.org> 
Subject: Issue/Bug Report 


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

Name: Nikolai Andreev 
Company: St. Petersburg State Technical University 
mailFrom: NAndreev@acm.org 
Notification: Yes 
Specification: OMG Unified Modeling Language Specification 
Section: 2.5.3 
FormalNumber: 01-09-67 
Version: 1.4 
RevisionDate: September 2001 
Page: 2-63 
Nature: Revision 
Severity: Significant 
HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1) 
Description
There is an unnecessary condition in rule 1 of the Namespace element 
There is an unnecessary condition in rule 1 of the Namespace elemen
t. Also we should add the following condition to the OCL expression :.