Issue 5593: Namespace issue (UML 1.4 formal/2002-09-67, 2.5.3.26 Namespace ) (uml2-rtf)
Source:  (, )
Nature: Clarification
Severity: Minor
Summary: The Namespace has the following definition constraint (p. 2-64): [1] The operation contents results in a Set containing all ModelElements contained by the Namespace. contents : Set(ModelElement) contents = self.ownedElement -> union(self.namespace, contents) 

The errors: 1. Syntax error in the union operation. According to Object Constraint Language Specification set has operation (p. 6-38) set->union(set2 : Set(T)) : Set(T) with the single parameter ! 

2. The functions contents and allContents are used to receive all composite and aggregate elements of namespace according to specification of these functions (Is that right ?). For example all overriden functions in the descedent elements (Package, DataType) release these functions in this manner. In this case function contents must be realized as: contents = self.ownedElement 3.The functions contents and allContents is sometimes used to receive list of «accessable» objects ! For example: definition constraint #2 for BehavioralFeature (p. 2-54): [2] The type of the Parameters should be included in the Namespace of the Classifier. self.parameter->forAll( p | self.owner.namespace.allContents->includes (p.type) ) Why parameter can't use imported DataType ? Why parameter can't use DataType located in the Namespace binded with the namespace of classifier by «friend» Permission ? Note that DataType may be included in the namespace of namespace of owner. It also may be included directly into owner ! I may send the collection of such errors («contents» instead of «acessable»). 

Resolution: Discussion: This is an issue raised against the UML 1 metamodel, which is no longer valid. Revised Text: N/A Disposition: Closed, no change
Revised Text: 
Actions taken:
August 25, 2002: received issue
December 28, 2004: moved to UML2 RTF
October 27, 2008: closed issue
Discussion: 

End of Annotations:=====
From: webmaster@omg.org 
Date: 25 Aug 2002 05:35:31 -0400 
To: <juergen@omg.org> 
Subject: Issue/Bug Report 


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

Name: Michael Zavyalov 
Company: blomesystem ??????? 
mailFrom: m_zavyalov@mail.ru 
Notification: Yes 
Specification: UML 
Section: 2.5.3.26 Namespace 
FormalNumber: 01-09-67 
Version: 1.4 
RevisionDate: 09/012001 
Page: 2-64 
Nature: Clarification 
Severity: Minor 
HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1) 
Description
The Namespace has the following definition constraint (p. 2-64): [1]
The operation contents results in a Set containing all ModelElements
contained by the Namespace. contents : Set(ModelElement) contents =
self.ownedElement -> union(self.namespace, contents) 

The errors: 1. Syntax error in the union operation. According to
Object Constraint Language Specification set has operation (p. 6-38)
set->union(set2 : Set(T)) : Set(T) with the single parameter ! 

2. The functions contents and allContents are used to receive all
   composite and aggregate elements of namespace according to
   specification of these functions (Is that right ?). For example all
   overriden functions in the descedent elements (Package, DataType)
   release these functions in this manner. In this case function
   contents must be realized as: contents = self.ownedElement 3.The
   functions contents and allContents is sometimes used to receive
   list of accessableraint #2 for BehavioralFeature (p. 2-54): [2] The
   type of the Parameters should be included in the Namespace of the
   Classifier. self.parameter->forAll( p |
   self.owner.namespace.allContents->includes (p.type) ) Why parameter
   can't use imported DataType ? Why parameter can't use DataType
   located in the Namespace binded with the namespace of classifier by
   friendhe collection of such errors (contents