Omezení (Constraints)

Constraints diagram of the Kernel package

Třída Constraint

Omezení (Constraint) je výraz (ValueSpecification), který omezuje sémantiku elementu a musí být vždy pravdivý. Výraz může být zapsán jak v OCL, tak poloformálně, ale i lidsky srozumitelným jazykem.

Notace: Výraz se zapisuje do složených závorek. Může být zapsán přímo za textový element nebo v rámci komentářového symbolu.

Omezení lze pojmenovat. Jméno se pak zapisuje do hranatých závorek za levou složenou závorku:

'{' [<název> ':'] <logický výraz> '}'

Omezení XOR je předdefinováno v UML a může být graficky zaznamenáno mezi asociace.

Příklady:

Příklad: Omezení atributu

Příklad: Omezení asociací

Příklad: Pojmenované omezení