Association-end navigability in XMI export

[dr_shorthair]

We are generating XML Schemas from UML which depend critically on the "navigability" status of association ends.
We have a test model that shows all combinations of end navigability status - see https://www.seegrid.csiro.au/twiki/bin/view/AppSchemas/FullMoonTestModels#Test_25.
However, looking in the XMI exported for this model https://www.seegrid.csiro.au/subversion/FullMoon/trunk/resources/xmi-samples/TestAS25.xml, we find

(a) every UML:AssociationEnd/@isNavigable="true" regardless of status

(b) the correct navigability is hidden as a substring in the @value attribute of UML:TaggedValue[@tag="sourcestyle"] or  UML:TaggedValue[@tag="deststyle"]

Obviously the latter is harder to use, but the former appears to be redundant/pointless.
Comments anyone?

[Frank Horn]

Obviously the latter is harder to use, but the former appears to be redundant/pointless.

Quite. But I never stumbled upon this one cause I'm using the XMI 2.1. and not XMI 1.1 export for code generation.