Dinâmica dos Objetos

Dinâmica dos objetos Necessário desenvolver estudo sobre comportamento interno das classes Permitir a especificação da dinâmica i.e. a forma como os objetos de cada classe se comportam A especificação da dinâmica do sistema deve ser feita através de diagramas de estado

Notação de Harel Um diagrama de estados é um grafo dirigido cujos nós representam os estados e cujos arcos representam as transições entre os estados Estado de um objeto é um momento na vida de um objeto. Um objeto pode passar por diferentes estados: o momento em que foi criado, momento que fez uma inicialização, momento que fez uma solicitação, momento de seu desaparecimento, etc Muitas vezes o nome de um estado é um verbo no gerúndio ou no particípio Um mesmo estado pode ser repetido em um diagrama de estados i.e. se houver dois estados com o mesmo nome trata-se, na verdade, do mesmo estado

Estados de um objeto

Transição de estado Um objeto não fica permanentemente em um estado Os objetos tendem a avançar de um estado para outro O avanço de uma situação (estado) para outra denomina-se transição de estado Sintaxe: Evento: indica o nome de um sinal, mensagem ou notificação recebida pelo objeto e que torna a transição habilitada Argumentos: são valores recebidos junto com o evento [Condição]: expressão lógica que é avaliada quando o evento ocorrer /Ação: indica uma ação que é executada durante a transição de um estado a outro

Exemplo de diagrama de estados (com 5 estados e 4 transições)

Construções típicas Sequências: fluxos de estados representados por encadeamentos de um estado e uma transição (figura anterior) Bifurcações e junções bifurcação: duas ou mais transições partindo de um mesmo estado junção: duas ou mais transições conduzindo a um mesmo estado

Conflitos Um conflito ocorre em uma bifurcação quando duas ou mais transições partindo de um mesmo estado estão habilitadas

Construções típicas Repetições (laços): encadeamento cíclico de estados e transições contendo um controle sobre a repetição dos ciclos

Cláusula de envio ação de envio de uma mensagem, do objeto que se está modelando, para algum outro objeto. Notação: acento circunflexo seguido do nome do objeto e do nome da mensagem separados por ponto

Transições reflexivas Transição que parte de um estado e alcança o mesmo estado Produz ação sem afetar o estado no qual o objeto se encontra Indica que o objeto recebe certas mensagens (ou percebe certos eventos) sem alterar seu estado comportamental

Ações nos estados Sempre que o estado for alcançado, as ações serão realizadas dois compartimentos: identificação: contém o nome do estado das ações: listas das ações realizadas no interior do estado Categorias de ações Entrada: realizada exatamente no momento em que se alcança o estado (antes de qualquer outra ação) Saída: realizadas exatamente no momento de abandono de um estado

Ações nos estados

Ações nos estados Categorias de ações Saída: realizadas exatamente no momento de abandono de um estado

Estados compostos Estado constituído de um conjunto de subestados permite que se façam construções hierarquizadas com estados maiores no níveis iniciais maior nível de abstração estados mais específicos nos níveis seguintes menor abstração maior detalhamento

Concorrência Representam dois ou mais encadeamentos de estados e transições que são percorridos simultaneamente A concorrência dentro de um objeto significa que ele possui mais de um fluxo de de controle (threads, processos) Representação divisão de um estado composto em regiões separadas por linhas tracejadas Pontos de sincronismo explícito: entrada e saída do estado composto

Concorrência

Concorrência Sincronismo entre os estados intermediários de duas ou mais concorrências

Ex. de diagramas de estados

Diagramas de atividades É um diagrama de estado no qual a maioria dos estados representa a execução de ações ou atividades Primitivas adicionais: estados de bifurcação e convergência

Diagramas de atividades Primitivas adicionais Sincronismo de concorrências

Exercício 5) Para a especificação apresentada em aula, a partir dos diagramas de sequência criados no exercício 3, desenhe as máquinas de estado que implementem tais sequências.

Bibliografia [1] STADZISZ, Paulo Cézar. Projeto de software usando a UML. Versão 2002. CEFET-PR