Rodzaje ograniczeń
Istnieją trzy rodzaje ograniczeń:
- Niezmienniki
-
Niezmiennik (ang. invariant — przyp. tłum.) jest stałą, która musi mieć zawsze wartość logiczną prawda. W przeciwnym razie system jest w niepoprawnym stanie. Niezmienniki są definiowane na atrybutach klasy. Na przykład na Rysunek A-4 atrybut o nazwie
baseCostklasyAccountFeemusi być zawsze większy lub równy 0. - Warunki wstępne
-
Warunek wstępny (ang. precondition — przyp. tłum.) jest ograniczeniem zdefiniowanym na metodzie i jest sprawdzany przed jej wykonaniem. Warunki wstępne są często używane do sprawdzania poprawności parametrów wejściowych metody.
- Warunki końcowe
-
Warunek końcowy (ang. postcondition — przyp. tłum.) jest również definiowany na metodzie i jest sprawdzany po każdym ...
Get UML 2.0. Wprowadzenie now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
