在UML中，关联端如何可以是关联所有的和可导航的？

Question

UML 2.5.1规范说明了关联最终所有权：

• 点表示法用于表示关联结束所有权，其中点表示线另一端的Class拥有属性，其类型为点触及的Class。

它说明了关联端可导航性：

• 箭头符号用于表示关联结束可导航性。根据定义，所有类拥有的关联端都是可导航的

我可以清楚地看到为什么类拥有的关联端是可导航的：

class A:
    def __init__(self, b):
        self.b = b  # class-owned

class B:
    pass

b = B()
a = A(b)
a.b  # navigable

然而，我更难弄清楚一个由关联所有（所以不是类所有）的关联端如何可以导航？

规范规定，关联可以用关联类表示：

AssociationClass可以被视为也具有类属性的关联，或也具有关联属性的类。

因此，我尝试用Python类实现关联（例如在SQL中，当关联结束时，关联通常是由关联所有的，则使用SQL关联表实现关联），但没有取得多大成功：

class A:
    pass

class B:
    pass

class A_B:  # association class
    def __init__(self, a, b):
        self.a = a  # association-owned
        self.b = b  # association-owned

b = B()
a = A()
a_b = A_B(a, b)
a.b  # not navigable (AttributeError)

Answer 1

解决方案是按照@qwerty_so和本文的建议，将关联链接设置为类的属性：

class A:
    def link(self, b):
        self.a_b = A_B(self, b)  # set attribute

class B:
    pass

class A_B:  # association class
    def __init__(self, a, b):
        self.a = a  # association-owned
        self.b = b  # association-owned

b = B()
a = A()
a.link(b)
a.a_b.b  # navigable

Answer 2

在您自己的回答中，您声称A_B是一个关联类。这确实是一种有效的解释。

但这不是唯一的一个：

关联声明其类型符合或实现关联类型的实例之间可以存在链接。链接是一个元组，关联的每个memberEnd都有一个值，其中每个值都是其类型符合或实现末尾类型的实例。（第11.5.3.1节）

python类完全满足这个定义：它实现了相关类型之间的链接。事实上，它只提供了元组（抽象意义上）的功能。

模型的类不一定与实现类一一相关。建模意味着对世界采取一种观点。大象和盲人的故事告诉我们，通常有几种有效的观点。所以，由你选择一个最能帮助你解决问题的方法。

附加说明：像A_B这样的类经常用于实现多对多关联。当涉及三元关联时，也存在类似的选择：一些人更喜欢将其视为与第三类关联的二元关联类。有些人更喜欢将其视为简单的N元关联。两者都可能通过在实现语言中使用类A\u B\u C来实现。