OCL中的递归

Question

假设我在UML中有这样的类图：

​

​

如何在OCL中递归地指定A的实例不包含在list_of_As中？换句话说，A的一个实例可能不会包含在A.list_of_As中，也不会包含在A.list_of_As中A的所有实例的所有list_of_As中。？

Answer 1

您可以使用transitive closure operator, closure()来获取A的列表。然后，只需检查您不希望在该列表中看到的元素是否存在。