Esse procedimento descreve como incluir uma Asserção.
Você pode incluir asserções tanto nos terminais como nas
políticas. São fornecidas cinco categorias de asserção no formulário
de opções do drop-down Asserção.
Para incluir uma Asserção
- Clique em Incluir.
- Selecione a asserção no diálogo Seleção de Árvores Filtradas na janela pop-up Selecionar Tipo de Asserção.
- Após selecionar o tipo de asserção, será apresentado um diálogo do editor de asserções. Selecione Necessário se desejar que a asserção seja sempre
verdadeira e Bloqueada se não desejar que o valor da asserção seja
alterado.
- Insira os valores de propriedade desejados. Isso incluirá a asserção como um registro na tabela sob a
categoria.
- Repita o processo para incluir mais asserções.
Navegação
Navegue até o Editor de
Política/Terminal e acesse a guia Contrato/Asserções na parte inferior do Editor.