Да, ваша идея верна.Однако я бы написал ограничение в комментарии и без пунктирной линии
РЕДАКТИРОВАТЬ: извините, чтобы быть "академически обоснованным", ваше ограничение OCL также должно быть правильным, даже если нет currentCategory
,Это означает, что ограничение лучше читать
not currentCategory==null implies contentCategories -> includes(currentCategory)