vuml
DESCRIPTION
vUML. Rafael Borges [email protected]. 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. - PowerPoint PPT PresentationTRANSCRIPT
vUML
Rafael [email protected]
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