Pravidlo 3: Vyhodnocování omezení

Omezení (prvek Constraint) se používá pro určení podmínky, která se vyhodnocuje za předem daných situací. UML definuje hned několik podmínek pro použití.

První pravidlo nazvané boolean_value říká, že vyhodnocení omezení musí nabývat pouze hodnot pravda či nepravda. To je zcela logické. Pokud by výsledkem bylo např. číslo, nelze určit, zda je, nebo není pravidlo splněné.

Příklad omezení

Druhé pravidlo (no_side_effects) zakazuje, aby provádění výpočtu mělo vedlejší efekt (tedy nesmí měnit model – zapisovat, mazat, měnit prvky).

Posledním pravidlem (not_apply_to_self) UML zakazuje aplikovat omezení samo na sebe.

Co na to Sparx EA?

EA nedokáže zajistit ani zkontrolovat ani jedno z uvedených pravidel. Zde bych mu to ale neměl za zlé, protože by musel dokázat interpretovat text omezení. A protože tento text může být v libovolném jazyce, není možné se připravit na všechny možné jazyky.

Douška

Tento článek je součástí seriálu 30 pravidel UML. Pokud jste ještě nečetli, podívejte se na výchozí článek. Ostatní články můžete dohledat pomocí štítku 30 pravidel UML.

Chcete vědět více? Objednejte si knihu UML pro analytiky nebo navštivte některé mé školení. Některá z nich jsou online.

Zanechat odpověď

Vaše e-mailová adresa nebude zveřejněna. Vyžadované informace jsou označeny *