Download - vUML
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
diagrama de colaboração
vUML verificação de modelos
concorrentes e distribuídos, contendo objetos ativos
vUML
GeradorEspecificação
AnalisadorErros
EspecificaçãoPROMELA
DiagramaSeqüência
SPIN
ContraExemplo
vUML
Editor UML
ModeloUML
uml state machine fila de eventos mecanismo de despacho
de eventos processador de eventos run-to-completion
mapeamento atributos estados
[inválido, progresso] restrições eventos guardas ações
verificação deadlock estados inválidos violação de restrições eventos para objetos mortos estouro das pilhas de eventos livelock
análise de contra-exemplo
discussão semântica operacional modelos abertos fórmulas LTL restrições de promela restrições do spin time-events
