A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

VUML Rafael Borges motivação estudar algumas ferramentas desenvolvedores só entendem uml uml não tem semântica bem definida.

Apresentações semelhantes


Apresentação em tema: "VUML Rafael Borges motivação estudar algumas ferramentas desenvolvedores só entendem uml uml não tem semântica bem definida."— Transcrição da apresentação:

1 vUML Rafael Borges

2 motivação estudar algumas ferramentas desenvolvedores só entendem uml uml não tem semântica bem definida

3 estudo de caso jantar dos filósofos exemplo clássico de deadlock

4 diagrama de classes

5 diagrama de estados

6

7 diagrama de colaboração

8 vUML verificação de modelos concorrentes e distribuídos, contendo objetos ativos

9 vUML Gerador Especificação Analisador Erros Especificação PROMELA Diagrama Seqüência SPIN Contra Exemplo vUML Editor UML Modelo UML

10 uml state machine fila de eventos mecanismo de despacho de eventos processador de eventos run-to-completion

11 mapeamento atributos estados [inválido, progresso] restrições eventos guardas ações

12 verificação deadlock estados inválidos violação de restrições eventos para objetos mortos estouro das pilhas de eventos livelock

13 análise de contra-exemplo

14 discussão semântica operacional modelos abertos fórmulas LTL restrições de promela restrições do spin time-events


Carregar ppt "VUML Rafael Borges motivação estudar algumas ferramentas desenvolvedores só entendem uml uml não tem semântica bem definida."

Apresentações semelhantes


Anúncios Google