OCL组合关系能否反向导航？具体实现方式是什么？

可以反向导航到对应的Car，实现方式如下：

• 核心逻辑：UML组合关系本质是双向关联（除非显式声明为单向），OCL支持通过反向导航语法获取关联的另一端实例。
• 具体OCL表达式：在Wheel上下文下，使用 self.^has 即可获取所属的Car实例。
  • 语法说明：^ 是OCL的反向导航运算符，后跟正向关联的名称（这里正向关联是Car到Wheel的has）。
  • 结果说明：由于组合关系中一个Wheel只能属于一个Car，该表达式会直接返回单个Car对象，无需额外的集合转换操作。

如果你的UML模型中给Wheel端的关联定义了显式角色名（比如car），也可以直接使用角色名导航：self.car，这种方式更直观。

内容的提问来源于stack exchange，提问作者Yan Zhuang