1 / 14

vUML

vUML. Rafael Borges rmb2@cin.ufpe.br. motivação. estudar algumas ferramentas desenvolvedores só entendem uml uml não tem semântica bem definida. estudo de caso. jantar dos filósofos exemplo clássico de deadlock. diagrama de classes. diagrama de estados. diagrama de estados.

janice
Download Presentation

vUML

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. vUML Rafael Borges rmb2@cin.ufpe.br

  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. diagrama de estados

  7. diagrama de colaboração

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

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

  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

More Related