5 / julho / 2007 CSBC / Workshop de Sistemas Operacion ais 2007 1 JSARP – Simulador e JSARP – Simulador e Analisador de Redes de Analisador de Redes de Petri Petri Felipe Lino Felipe Lino Alexandre Sztajnberg Alexandre Sztajnberg [email protected][email protected][email protected][email protected]DICC / IME / UERJ DICC / IME / UERJ Rio de Janeiro, RJ, Brasil Rio de Janeiro, RJ, Brasil
JSARP – Simulador e Analisador de Redes de Petri. Felipe Lino Alexandre Sztajnberg [email protected][email protected] DICC / IME / UERJ Rio de Janeiro, RJ, Brasil. Sumário. Motivação Trabalhos relacionados JSARP Trabalhos futuros Conclusão. - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
1
JSARP – Simulador e JSARP – Simulador e Analisador de Redes de Analisador de Redes de
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
3
MotivaçãoMotivaçãoPotencial da modelagem com RdP em sistemas computacionais:
Escalonamento de processos Protocolos de comunicação Sistemas concorrentes
Verificação de propriedades como: deadlock e livelock. Refletem características do sistema modeladoFuncionalidades desejáveis:
“Token Animation Game” Geração da Árvore de Alcançabilidade Editor Gráfico Verificação de Propriedades
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
4
ObjetivoObjetivoDesenvolvimento e implementação de uma ferramenta que reúne funcionalidades desejáveis em ferramentas de RdPIndependente de plataformaResultados gráficosInteração com usuárioExtensível
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
Composição visual Simulação interativa Simulação automática Geração de árvore alcançabilidade Verificação de propriedades Resultados gráficos Persistir rede
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
6
Ferramenta: ARPFerramenta: ARPDOS 3.0 ou superiorEdição de Redes - textoRdP temporizadasAnálise por Enumeração de Estados – Árvore de AlcançabilidadeCálculo de InvariantesVerificação de EquivalênciaSimulação Avaliação de Desempenho
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
7
Ferramenta: ARPFerramenta: ARP
Edição
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
8
Ferramenta: ARPFerramenta: ARP
Análise
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
9
Ferramenta: ARPFerramenta: ARP
Simulação
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
10
JSARP – Descrição GeralJSARP – Descrição GeralTecnologia Orientada ObjetosJava – MultiplataformaGUI: Swing e API Forms JGoodiesExporta para XML: API XStreamIdiomas: Inglês e PortuguêsComposição VisualVerificação de PropriedadesGera Árvore de AlcançabilidadeSimulação Interativa
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
11
JSARP – Arquitetura JSARP – Arquitetura Programa
Executável
Tratador da Área de Edição
Janela Principal
Tratador da Janela Principal
Análise
Janela de Resultados da
Análise
Representação da Rede de Petri
Simulação
Janela de Simulação
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007
12
JSARP – Estrutura do JSARP – Estrutura do CódigoCódigo
As ações que dirigem a simulação são capturadas através da Classe SimulationActionNotifica as ações para a interface gráfica, classe SimulationWindow, e para a classe que representa a rede estendida, PetriNetGraphA simulação é realizada pela classe ImplSimulator, que opera sobre a classe ImplPetriNetBase
5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 2007