As invariantes de estado são restrições de tempo de execução, como valores de variáveis, atributos e estados, que são colocadas nos objetos ou nas cápsulas de uma interação. É possível incluir invariantes de estado em diagramas de seqüência para especificar valores ou estados.
Por Que e Quando Desempenhar Esta Tarefa
Para criar uma invariante de estado:
- Na Paleta, clique em Invariante de Estado.
- No quadro de interação, clique na linha de vida a ser abrangida.
- Na caixa de diálogo que abre, verifique as linhas de vida selecionadas e clique em OK.
- Digite um nome para a invariante de estado e clique em OK.