在UML类图中显示聚合是另一个的子集

Question

我有一个包含以下两个聚合的类图：

contentCategories是一个动态的类别数组，currentCategory始终是该数组的一个元素，但是作为一个独特的成员变量进行维护。我需要在OCL中显示它始终是contentCategories的元素的约束。我做得对吗？如果没有，那么这样做的正确方法是什么？

提前感谢大家的帮助！

Answer 1

是的，你的想法是对的。我会在评论中写出约束，而不是用虚线

编辑：抱歉，为了“学术上合理”，即使没有currentCategory，您的OCL约束也应该是正确的。这意味着，约束更好地阅读

not currentCategory==null implies contentCategories -> includes(currentCategory)