我试图理解 UML2 元模型为用例图中的参与者和用例之间的关联定义的规则。我了解参与者和用例可以参与泛化（因为它们是从分类器派生的，这增加了泛化的可能性），并且我了解用例可以与其他用例具有扩展/包含关系（因为它直接定义在用例图规范）。这是用例元模型图的一部分：
如您所见，在此图中，参与者和用例之间根本没有关联。这只能意味着由于参与者和用例的共同超类型（可能是 BehavioredClassifier 或 Classifier）而允许关联。所以我的问题是：
- 元模型层次结构中的哪些元（类）或元素负责参与者和用例之间的关联？
另一件令人困惑的事情：有一个约束说：
参与者只能与用例、组件和类关联。此外，这些关联必须是二元的。
但是没有为用例定义等效约束（二进制事物除外）。这是否意味着关联总是属于参与者，而用例不知道它们与参与者的关联？规范可以在这里找到，谢谢。