7.5.5 来自关联类的导航

我们可以从关联类自身开始导航到其它参与到关联的其它对象。这可以使用点号表示法和关联端的角色名称来实现。

context Job
    inv: self.employer.numberOfEmployees >= 1
    inv: self.employee.age > 21

从一个关联类导航到关联的任一对象总是只产生一个对象。这是由关联类的定义决定的。因此，尽管可以使用oclAsSet()或"-->"简化，该类导航的结果只是一个对象。