Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
UMLにこのクラス図があるとしましょう。
OCLで、Aのインスタンスがlist_of_Asに再帰的に含まれないように指定するにはどうすればよいですか?つまり、AのインスタンスはA.list_of_Asに含まれておらず、A.list_of_AsなどのAのすべてのインスタンスのすべてのlist_of_Asに含まれていない可能性があります...?
推移閉包演算子closure()を使用して、Aのリストを取得できます。次に、そのリストに表示したくない要素が存在しないかどうかを確認します。