这是一个无效的对象图，什么是关联继承？

Question

我有一个类图和一个对象图。对象图是否根据给定的类图有效？ 我可以说它无效，因为:C与任何alpha类型对象没有S链接吗？ 或者它有效，因为:C和:T已有alpha链接，如果他们有beta链接，因为C和T是子类分别是A和S类？

Answer 1

实例规范无效（或至少不完整），因为C的实例与alpha的实例没有T链接。

但是，如果要在beta和alpha关联之间绘制泛化关系，那么这将使实例规范有效。关联之间的泛化意味着类型T的未命名结尾是类型S的未命名结尾的值的子集。 UML 2.5规范中的§11.5.3.1（关联）说，“专业化意味着专业协会分类的链接也被专业协会分类。”

顺便说一句，请始终为您的关联命名。如果我能提到关联以名称结尾，那么这个答案会更容易表达。拥有这些名称还可以减少与团队中其他人沟通时的混淆。