在OCL中关联其他类时能否使用点符号？以统计学校学生数为例

你提到的School.students->count()写法是否正确，取决于你的UML模型中School与students的关联定义：

• 如果School类拥有直接的students属性（类型为集合，比如Set(Student)或Bag(Student)），这个写法完全正确，它会直接统计集合内的元素数量。
• 如果School和Student是通过关联关系连接（比如一对多关联，端名为students），该写法同样有效，因为OCL允许通过关联端名直接访问关联的对象集合，再调用count()操作。

如果模型中School没有直接的students属性或关联端，需调整表达式：
比如关联是从Student指向School（端名为school），可通过反向导航统计：Student.allInstances()->select(s | s.school = targetSchool)->count()，其中targetSchool是你要统计的具体学校实例。

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