UAF13 — View Specifications::Motivation::Motivation: Requirements - No Direction for Satisy, Refine, Verify + Duplicate Trace - Requirement Relationship

1) Satisfy, Refine, Verify show an Association to both UAFElement and Requirement and appear to implement a many:many relationship. The Associatioons do not, however, define a direction for the relationships. As this is supposed to be a normative specification are the relationships implemnted as bi-directional, uni-directional? This is a problem in partially defining a (relationship) node 'from node' and 'to node' rather than node - relationship - node with direction on the relationship itself.

2) There are two identical Associations shown between Requirement and Trace - same multiplcities, not labelled. It is impossible to distinguish them apart and all they do is define that there is some unnamed relationship in some (or both) directions. I suspect that what was meant was a UAFElement traces to Requirement and possibly Requirement traces to UAFElement but this isn't what the diagram says. Had a node - connector (with direction) - node style been used the differentiation problem wouldn't arise and errors would be more easily spotted.