Показать на диаграмме классов UML, что агрегат является подмножеством другого

Question

У меня есть диаграмма классов со следующими двумя агрегатами:

contentCategories - это динамический массив категорий, currentCategory всегда является элементом этого массива, но поддерживается как отдельная переменная-член. Мне нужно показать ограничение, что это всегда элемент contentCategories в OCL. Правильно ли я это сделал? Если нет, то как правильно это сделать?

Спасибо всем заранее за помощь!

Answer 1

Да, ваша идея верна.Однако я бы написал ограничение в комментарии и без пунктирной линии

РЕДАКТИРОВАТЬ: извините, чтобы быть "академически обоснованным", ваше ограничение OCL также должно быть правильным, даже если нет currentCategory,Это означает, что ограничение лучше читать

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