Ограничения на наборы обобщений

Ограничения на объекты

Ограничения

Ограничение (constraint) — это логическое условие, накладываемое на элементы модели, такие как объекты, классы, атрибуты, связи, ассоциации и наборы обобщений. Ограничение действует на значения, которые могут принимать элементы. Ограничения можно записывать на естественном или на формальном языке.

На рис. 43 приведены несколько примеров ограничений, наложенных на объекты. Зарплата сотрудника не может превышать зарплату босса (ограничение наложено одновременно на два объекта). Ни у какого окна соотношение сторон (длины к ширине) не может быть меньше 0.8 или больше 1.5 (ограничение на атрибуты одного объекта). Приоритет задачи нельзя повысить (ограничение на один и тот же объект в разные моменты времени). В моделях классов ограничения могут быть достаточно простыми.

Рисунок 43 – Ограничения на объекты

Модели классов содержат множество ограничений в самой своей структуре. Например, семантика обобщения подразумевает некоторые структурные ограничения. При единичном наследовании подклассы являются взаимоисключающими. Более того, каждый экземпляр абстрактного суперкласса является экземпляром ровно одного его подкласса. Каждый экземпляр конкретного суперкласса является экземпляром не более, чем одного из его подклассов.

На рис. 40 и 41 ограничения используются в качестве вспомогательных средств для описания множественного наследования. UML разрешает использовать с наборами обобщений следующие ключевые слова:

– disjoint (несовместные). Подклассы взаимно исключают друг друга. Любой объект принадлежит ровно одному из них.

– overlapping (перекрывающиеся). Подклассы могут иметь общие объекты. Объект может принадлежать сразу нескольким подклассам.

– complete (полное). В обобщении перечислены все возможные подклассы.

– incomplete (неполное). Некоторые подклассы могли быть пропущены.

Дата добавления: 2013-12-13