遞歸在OCL

Question

讓想我有這個UML類圖：

我該怎麼辦，在OCL，指定一個實例不包括在list_of_As遞歸？換句話說，A的一個實例可能不包含在A.list_of_As中，並且不包含在A.list_of_As等的A的所有實例的所有list_of_As中。

Answer 1

可以使用transitive closure operator, closure()，拿到A的名單，然後，只需檢查您不希望在該列表中看到的元素的不存在。