Warm-Up 3 - Traffic Light

Objetivos

• Criar um modelo usando um diagrama de seqüência
• Criar uma classe simples de protocolo
• Definir comportamento (máquina de estado) compostos por múltiplos estados e transições
• Compilar, executar, debugar e verificar um modelo de múltiplo estados, usando diagramas de seqüência em tempo real

Conteúdo

Inicialmente tomou-se como modelo o diagrama de seqüência mostrado na figura 1

Figura 1 - Diagrama de seqüencia do warm-up Traffic Light

Cria-se, a seguir, um conjunto de sinais para o protocolo light control com os sinais green, red e yellow . A criação do protocolo pode ser vista na figura 2.

Figura 2 - Sinais de saída do protocolo Light Control

Adicionou-se, então, uma porta com o protocolo LightControl e fez-se um diagrama de estados conforme visto na figura 3.

Figura 3 - Diagrama de estados do Traffic Light

Após inserir os sinais de Trigger nas transições do diagrama de estado, executou-se o projeto e colocou-se um probe a fim de verificar se as transições estavam realmente ocorrendo. Tais observações podem ser vistas na figura 4.

Figura 4 - Injetando sinais para teste através do Probe

Arquivos

warmup3.zip

Conclusão

Através deste warmup pôde-se compreender como funciona o uso de protocolos e sinais de trigger, bem como verificar o funcionamento de um modelo em tempo de execução através da ferramenta de Probe.

voltar