Issue 15881: Constraint is Wrong (uml2-rtf)
Source:  (, )
Nature: Revision
Severity: Minor
Summary: In the first item of the 'Constraints' clause,
(self.name->isEmpty() or self.allNamespaces()->select(ns | ns.name->isEmpty())->notEmpty())
implies self.qualifiedName->isEmpty()


should be 
self.name->isEmpty() or (self.allNamespaces()->select(ns | ns.name->isEmpty())->notEmpty())
implies self.qualifiedName->isEmpty()
Resolution: 
Revised Text: 
Actions taken:
December 8, 2010: received issue
Discussion: 
 

End of Annotations:=====

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


*******************************************************************************
Name:            bruce lu
Employer:        motorola
mailFrom:        bruce.lu@motorolasolutions.com
Terms_Agreement: 
Specification:   OMG Unified Modeling LanguageTM (OMG UML), Infrastructure
Section:         9.14.1
FormalNumber:    formal/2010-05-03
Version:         2.3
Doc_Year:        2010
Doc_Month:       May
Doc_Day:         05
Page:            80
Title:           Constraint is Wrong
Nature:          Revision
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:


In the first item of the 'Constraints' clause,
(self.name->isEmpty() or self.allNamespaces()->select(ns | ns.name->isEmpty())->notEmpty())
implies self.qualifiedName->isEmpty()


should be 
self.name->isEmpty() or (self.allNamespaces()->select(ns | ns.name->isEmpty())->notEmpty())
implies self.qualifiedName->isEmpty()