Please enable JavaScript.
Coggle requires JavaScript to display documents.
Não-determinismo - Coggle Diagram
Não-determinismo
comandos não-determinísticos
Any
Escolha arbitrária de valor
Sintaxe: ANY x WHERE Q THEN T
Atribuição de elemento de conjunto
Choice
Escolha entre comandos (S1 OR S2)
Seleção aleatória na execução
select
Seleção baseada em condições
Apenas opções habilitadas
Uso de ELSE para evitar unfeasible
Precondições e Blocos
Precondição
Condição para execução correta
Comportamento impevisível se falsa
Bloquieo no ProB
LET
Definção de variável local
Comando determinístico
Decisões tardias no desenvolvimento
Comportamento não previsível
Dependência de estados e entradas