Diagrama de Estados. Prof. Cesar Augusto Tacla

Transcrição

1 Diagrama de Estados Prof. Cesar Augusto Tacla

2 Diagrama de estados Representação do comportamento de uma classe de objetos Possui um número de estados finitos Comportamentos possíveis em cada estado O que causa as mudanças de estado Quais mudanças são possíveis Modelo dinâmico

3 Elementos básicos Estado Transição Evento Ação Nas transições Nos estados Atividade Condições de guarda

4 Notação básica stm Abstrato transição transição Estado Estado 2 evento [guarda] /ação estado inicial Final Estado: tempo durante o qual o objeto satisfaz alguma condição.

5 Exemplo 1: janela Transição automática transição class Estações do ano JanelaOriginal botão fechar pressionado /destruir Initial Final evento botão min. pressionado /minimizar botão rest. pressionado /restaurar JanelaMinimizada ação

6 Ação nas transições stm Liv ro ações nas transições comprado /NotificarInteressados Disponív el reparado /NotificarInteressados Em reparo Colocado em reparo Initial Emprestado devolvido /NotificarInteressados Emprestado retirado do acervo Final Ação: atômica e instantânea

7 Ação nos estados stm Liv ro ações no estado comprado Disponív el + entry / NotificarInteressados colocado em reparo reparado Em reparo Initial emprestado devolvido Emprestado Toda vez que se alcança o estado Disponível executa-se a ação NotificarInteressados retirado do acervo Final A palavra-chave exit funciona de forma similar, porém para a saída do estado

8 Atividade (do) stm Ativ idade no estado Impressora ociosa impressão cancelada fim impressão impressão iniciada Imprimindo Initial impressão cancelada papel colocado Sem papel + do / beep(tempo) falta de papel Atividade pode ser interrompida pelo evento papel colocado ou impr. cancelada tempo = 1 minuto: enquanto estiver no estado Sem Papel e dentro do 1 minuto, um beep soa.

9 Auto-transição stm Conta letras letra teclada Initial /num:=-1 Contando letras enter - num: int + entry / num++ Final

10 Transição interna stm Conta letras letra teclada Initial /num:=-1 Contando letras - num: int + F1 / mostrar help + entry / num++ enter Final transição interna F1: não provoca saída e reentrada no estado contando letras

11 Ordem de execução de ações e atividades stm Ordem exec Estado A Initial /A0 + entry / A1 + do / A2 + exit / A3 ev AB /AB Estado B + entry / A5 + do / A6 + ev interno / A7 + exit / A8 ev FIM /A9 Final Qual a ordem de execução das ações face aos eventos: início, ev AB, ev interno, ev B ev FIM??? ev B /A4

12 Condição de guarda Importante: condição de guarda só é avaliada na ocorrência do evento userinput

13 Tipos de evento Chamada (call) método Sinal (signal) Recepção de mensagem Evento de interface Clique enter Temporal (time) When(12h) After(45 ) De Mudança (change) When(volume>=30)

14 Evento de chamada stm CtrlConv ersao ME /instancia Historico e IUConversao Aguarda entrada Inicial + entry / ^IUConversao.solicitarCelsius v:=valor fornecido fim [falso] /ConversaoCF(v), ^IUConversao.mostrar(f) stm IUConv ersao ME [verdadeiro] /writeobject() mostrar(f) /mostrar(f) Final Aguarda cmdo controle destroy Initial final solicitarcelsius valor fornecido [numérico ou "fim"] Aguarda entrada usuário valor fornecido [~fim & ~numérico]

15 Exemplo: Eventos temporais SEMÁFORO

16 Evento de mudança x Condição de guarda Avaliada somente quando o evento ocorre! 1 2 stm Estado entrada fornecida [entrada ok] /beep 1 Aguarda entrada usuário entrada fornecida [fim] /2x beep Initial Final entrada fornecida [entrada ok] 1

17 Evento de mudança x Condição de guarda Avaliação contínua Avaliação associada ao evento

18 Estados compostos Representação Decomposição (abstração) Concorrência submáquinas

19 Estado composto Estado composto >>>>>>>>>>>

20 Estado composto: Recebendo

21 Histórico (shallow history) Transição válida para qualquer evento do estado composto