Issue 12841: 7.3.44 Property P128 (uml2-rtf)
Source: Fujitsu (Mr. Hiroshi Miyazaki, miyazaki(at)tokyo.se.fujitsu.co.jp)
Nature: Uncategorized Issue
Severity: 
Summary: [3] The query isNavigable() indicates whether it is possible to navigate across the property.
Propery::isNavigable():Boolean
isNavigable = not classifier->isEmpty() or
association.owningAssociation.navigableOwnedEnd->includes(self)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
"association", and "owningAssociation" are also associationend on Property.
Then, expression "association.owningAssociation" is not appropriate.
It seems "association" in the expression should be suppressed.

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

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

7.3.44 Property P128

[3] The query isNavigable() indicates whether it is possible to navigate across the property.
Propery::isNavigable():Boolean
isNavigable = not classifier->isEmpty() or
association.owningAssociation.navigableOwnedEnd->includes(self)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
"association", and "owningAssociation" are also associationend on Property.
Then, expression "association.owningAssociation" is not appropriate.
It seems "association" in the expression should be suppressed.