Issue 12842: 7.3.44 additional operation P128 (uml2-rtf)
Source: Fujitsu (Mr. Hiroshi Miyazaki, miyazaki(at)tokyo.se.fujitsu.co.jp)
Nature: Uncategorized Issue
Severity: 
Summary: [4]The query isAttribute() is true if the Property is defined as an attribute of
some classifier.
context Property::isAttribute(p : Property) : Boolean
post : result = Classifier.allInstances->exists(C|c.attribute->includes(p))


This OCL means there is at least one element of Property.
Then, it is better to represent as "not classifier->isEmpty, not "Classifer.allinstances"
like opertation [3]. It is better to represent similar style in a same block.


This issue relates to aleady mentioned issue(Issue 11120). However, it is not exactly same.

Resolution: 
Revised Text: 
Actions taken:
September 8, 2008: received issue
Discussion: 

End of Annotations:=====
s is issue # 12842

7.3.44 additional operation P128

[4]The query isAttribute() is true if the Property is defined as an attribute of
some classifier.
context Property::isAttribute(p : Property) : Boolean
post : result = Classifier.allInstances->exists(C|c.attribute->includes(p))


This OCL means there is at least one element of Property.
Then, it is better to represent as "not classifier->isEmpty, not "Classifer.allinstances"
like opertation [3]. It is better to represent similar style in a same block.



From: "Rouquette, Nicolas F (316A)" <nicolas.f.rouquette@jpl.nasa.gov>
To: "uml2-rtf@omg.org" <uml2-rtf@omg.org>
Date: Wed, 18 Aug 2010 20:15:44 -0700
Subject: Issue 12842: 7.3.44 additional operation P128 (uml2-rtf) --
 Property::isNavigable()
Thread-Topic: Issue 12842: 7.3.44 additional operation P128 (uml2-rtf) --
 Property::isNavigable()
Thread-Index: Acs/TM/qbU27itMdRSGWT0cKmeaY3g==
Accept-Language: en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
acceptlanguage: en-US
X-Source-IP: altvirehtstap02.jpl.nasa.gov [128.149.137.73]
X-Source-Sender: nicolas.f.rouquette@jpl.nasa.gov
X-AUTH: Authorized
X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id o7J30H5e015474


Thank you Mr. Miyazaki for reporting this issue.


Since fixing OCL problems is in scope of the UML specification simplification, the part of this issue pertaining to Property::isNavigable should be fixed as part of that work since the fix is quite simple.


The currently broken OCL in UML 2.3 & 2.4 is:


Property::isNavigable() : Boolean 
isNavigable = not classifier->isEmpty() or association.owningAssociation.navigableOwnedEnd->includes(self) 


Based on current conventions for OCL syntax used in UML2.3 and 2.4, the proposed resolution is to change it to:


Property::isNavigable() : Boolean 
isNavigable = not class->isEmpty() or owningAssociation.navigableOwnedEnd->includes(self) 


- Nicolas.<Down>
<Down>
This issue relates to aleady mentioned issue(Issue 11120). However, it is not exactly same.