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

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

Aggregations constraint problem

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

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

1 Ответ

1 голос
/ 28 марта 2012

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

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

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