0

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

聚合约束问题

contentCategories是类别的动态数组，currentCategory始终是该数组的元素，但作为不同的成员变量进行维护。我需要表明它始终是contentCategoriesOCL 中的一个元素的约束。我做对了吗？如果不是，那么正确的方法是什么？

提前感谢大家的帮助！

4

1 回答 1

1

是的，你的想法是对的。不过，我会在评论中写下约束，并且没有虚线

编辑：对不起，为了“学术上合理”，即使没有currentCategory. 这意味着，约束最好阅读

not currentCategory==null implies contentCategories -> includes(currentCategory)
于 2012-03-28T13:18:09.710 回答