5 / julho / 2007CSBC / Workshop de Sistemas Operacionais 20071 JSARP – Simulador e Analisador de Redes de Petri Felipe Lino Alexandre Sztajnberg Felipe.

Apresentação em tema: "5 / julho / 2007CSBC / Workshop de Sistemas Operacionais 20071 JSARP – Simulador e Analisador de Redes de Petri Felipe Lino Alexandre Sztajnberg Felipe."— Transcrição da apresentação:

1 5 / julho / 2007CSBC / Workshop de Sistemas Operacionais 20071 JSARP – Simulador e Analisador de Redes de Petri Felipe Lino Alexandre Sztajnberg Felipe Lino Alexandre Sztajnberg felipelino44@gmail.com alexszt@ime.uerj.br felipelino44@gmail.com alexszt@ime.uerj.br DICC / IME / UERJ Rio de Janeiro, RJ, Brasil

2 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 20072 Sumário Motivação Trabalhos relacionados JSARP Trabalhos futuros Conclusão

3 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 20073 Motivação Potencial 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 modelado Funcionalidades desejáveis: “Token Animation Game” Geração da Árvore de Alcançabilidade Editor Gráfico Verificação de Propriedades

4 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 20074 Objetivo Desenvolvimento e implementação de uma ferramenta que reúne funcionalidades desejáveis em ferramentas de RdP Independente de plataforma Resultados gráficos Interação com usuário Extensível

5 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 20075 Trabalhos Relacionados AtributosJARPPetriTooljPNSJSARP 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

6 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 20076 Ferramenta: ARP DOS 3.0 ou superior Edição de Redes - texto RdP temporizadas Análise por Enumeração de Estados – Árvore de Alcançabilidade Cálculo de Invariantes Verificação de Equivalência Simulação Avaliação de Desempenho

7 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 20077 Ferramenta: ARP Edição

8 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 20078 Ferramenta: ARP Análise

9 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 20079 Ferramenta: ARP Simulação

10 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200710 JSARP – Descrição Geral Tecnologia Orientada Objetos Java – Multiplataforma GUI: Swing e API Forms JGoodies Exporta para XML: API XStream Idiomas: Inglês e Português Composição Visual Verificação de Propriedades Gera Árvore de Alcançabilidade Simulação Interativa

11 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200711 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

12 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200712 JSARP – Estrutura do Código As ações que dirigem a simulação são capturadas através da Classe SimulationAction Notifica as ações para a interface gráfica, classe SimulationWindow, e para a classe que representa a rede estendida, PetriNetGraph A simulação é realizada pela classe ImplSimulator, que opera sobre a classe ImplPetriNetBase

13 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200713 JSARP – Formato XML RedeSimples.xml 27 69 P0 0 2 P0 1 83 69 T0 0 T0 0.0 0...

14 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200714 Formato PNML Petri net1 <position x = "300" y = "100"/> <dimension x = "40" y = "40"/> 1 1 <position x = "300" y = "200"/> <dimension x = "40" y = "40"/>...

15 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200715 JSARP – Exemplo P0 – Produtor pronto p/ armazenar P1 – Consumidor pronto p/ retirar do buffer P2 – Consumidor pronto p/ consumir P3 – Limitador do buffer P4 – Buffer P5 – Produtor pronto para produzir T0 – Produzir T1 – Armazenar no buffer T2 – Remover do buffer T3 – Consumir Produtor e Consumidor com Buffer Limitado

16 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200716 JSARP – Exemplo

17 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200717 JSARP – Exemplo

18 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200718 Trabalhos Futuros Redes de Petri Temporizadas Usar o arcabouço existente para análise/simulação em RdP temporizadas Verificações de Propriedades Através da representação matricial Através da árvore de alcançabilidade Melhorias na Interface Gráfica Permitir edição de rótulos Menu de ajuda

19 5 / julho / 2007 CSBC / Workshop de Sistemas Operacionais 200719 Conclusão Código fonte e documentação disponível http://br.geocities.com/jsarp_project Ferramenta usada no curso de Sistemas Concorrentes e Distribuídos no PEL (UERJ)