Association Hop - modelint/shlaer-mellor-metamodel GitHub Wiki
In the simplest case of an Association traversal you hop from the Class on one side of the Association to the class on the other side. You can specify the Relationship Name (Rnum) with no need for further clarification since you know the source Class and can just jump across to whatever Class is on the other side. This scenario, however presumes that you are hopping a Simple Association which may or may not be Reflexive Asymmetric.
There are a number of other less obvious, but common, Association traversal possibilities, however, and some of them require more information to avoid ambiguity. See the subclass descriptions for more details on each type of traversal.
If the Association is formalized with an Association Class and you start with an Instance Set typed by a Class in the Association that is not the Association Class, you have two possible destination Classes on the Hop. You either want to traverse the Association to opposite Perspective or you want to traverse to the Association Class. So you need to specify which kind of traversal, Straight Hop or To Association Class Hop.
Identifiers
- Number + Path + Domain
Attributes
No non-referential attributes