Ring protocol

420 visualizações

Publicada em

Apresentação do seminário sobre o Ring Protocol, com uma implementação do Token Ring, para a disciplina de Métodos Formais.

Publicada em: Diversão e humor, Tecnologia
0 comentários
0 gostaram
Estatísticas
Notas
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Sem downloads
Visualizações
Visualizações totais
420
No SlideShare
0
A partir de incorporações
0
Número de incorporações
3
Ações
Compartilhamentos
0
Downloads
0
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Ring protocol

  1. 1. José Wilker de Medeiros Leonardo Medeiros
  2. 2. <ul><li>Resumo </li></ul><ul><ul><li>Redes de Petri Hierárquicas </li></ul></ul><ul><ul><li>Ferramentas do CPN Tools </li></ul></ul><ul><ul><ul><li>Fusão </li></ul></ul></ul><ul><ul><ul><li>Transições Substitutas </li></ul></ul></ul><ul><ul><ul><li>Superpages e Subpages </li></ul></ul></ul><ul><ul><ul><li>Instâncias de Páginas </li></ul></ul></ul><ul><ul><li>Ring Protocol </li></ul></ul><ul><ul><li>Modelo RingProtocol </li></ul></ul><ul><ul><li>Alterações no modelo </li></ul></ul>
  3. 3. <ul><li>Definição </li></ul><ul><ul><li>Representa uma linguagem adequada e sólida para descrição e análise de sincronização, comunicação e compartilhamento de recursos entre processos concorrentes. </li></ul></ul><ul><li>Lugares (Passivos) </li></ul><ul><li>Transições (Ativos) </li></ul><ul><li>Fichas </li></ul>
  4. 4. <ul><li>Objetivos </li></ul><ul><ul><li>Reduzir o tamanho dos modelos </li></ul></ul><ul><ul><li>Permitir marcas individualizadas (representando diferentes recursos) </li></ul></ul><ul><ul><ul><li>Tipos de Dados Complexos </li></ul></ul></ul>
  5. 5. <ul><li>Múltiplos níveis de Detalhamento </li></ul><ul><li>Transições Substitutas </li></ul><ul><ul><li>Superpages </li></ul></ul><ul><ul><li>Subpages </li></ul></ul>
  6. 6. <ul><li>Locais sempre apresentaram o mesmo estado. </li></ul><ul><li>Tipos de Fusão: </li></ul><ul><ul><li>Locais de Fusão (Fusion Places) </li></ul></ul><ul><ul><ul><li>Dois ou mais locais por conjunto. </li></ul></ul></ul><ul><ul><li>Transições Substitutas (Substitute Transitions) </li></ul></ul><ul><ul><ul><li>Uma transição representa toda uma parte da estrutura da rede (Subrede). </li></ul></ul></ul><ul><ul><ul><li>Apenas dois locais por fusão (por Porta e Socket). </li></ul></ul></ul>
  7. 7. <ul><li>Definição: </li></ul><ul><ul><li>Conjunto de Locais onde, quando qualquer elemento do grupo sofrer uma ação, todos os outros também serão afetados. </li></ul></ul><ul><li>Limitações </li></ul><ul><ul><li>Todos os componentes devem possuir a mesma cor. </li></ul></ul><ul><ul><li>Portas e Sockets não podem participar de grupos de fusão. </li></ul></ul>
  8. 8. <ul><li>Exemplo de Fusão </li></ul>
  9. 9. <ul><li>Analogicamente semelhante a funções: </li></ul><ul><ul><ul><li>Entrada </li></ul></ul></ul><ul><ul><ul><li>Processamento Interno </li></ul></ul></ul><ul><ul><ul><li>Saidas </li></ul></ul></ul><ul><ul><li>Reuso </li></ul></ul><ul><ul><ul><li>Instâncias de Páginas </li></ul></ul></ul>
  10. 10. <ul><li>Exemplo de Transições Substitutas </li></ul>
  11. 11. <ul><li>Superpage </li></ul><ul><ul><li>Página que contém uma transição substituta. </li></ul></ul><ul><ul><li>Sockets </li></ul></ul><ul><li>Subpage </li></ul><ul><ul><li>Página que é representada por uma transição substituta. </li></ul></ul><ul><ul><li>Portas </li></ul></ul>
  12. 12. <ul><li>Exemplo: Superpage </li></ul>
  13. 13. <ul><li>Exemplo: Subpage </li></ul>
  14. 14. <ul><li>Sockets </li></ul><ul><ul><li>São os lugares vizinhos de uma transição substituta. </li></ul></ul><ul><ul><li>Incrições de arcos ligando sockets a Transições Substitutas são ignoradas </li></ul></ul><ul><li>Portas </li></ul><ul><ul><li>São os locais de entrada e/ou saída de fichas de uma subpage. </li></ul></ul><ul><ul><ul><li>In, Out e I/O </li></ul></ul></ul><ul><ul><li>Inscrição da marcação inicial ignorada </li></ul></ul>
  15. 15. <ul><li>A topologia de rede em anel consiste em estações conectadas através de um circuito fechado, em série, formando um circuito fechado (anel). </li></ul>
  16. 16. <ul><li>Estrutura </li></ul>
  17. 17. <ul><li>Geração de Pacotes Aleatórios </li></ul>
  18. 18. <ul><li>Envio de Pacotes </li></ul>
  19. 19. <ul><li>Recepção de Pacotes </li></ul>
  20. 20. <ul><li>Token </li></ul><ul><ul><li>Considera o meio de transmissão como região crítica, onde apenas um dos nós terão permissão para utilizá-lo. </li></ul></ul>
  21. 21. <ul><li>Token (Superpage - Network) </li></ul>
  22. 22. <ul><li>Token (Subpage - Site) </li></ul>
  23. 23. <ul><li>Token </li></ul><ul><ul><li>Função Send( bool, SITES, SITES, SITES ) </li></ul></ul><ul><ul><li>Função nextToHold( SITES ) </li></ul></ul>fun Send( s:bool, re:SITES, se:SITES, t:SITES ) = ( not s andalso se<>re andalso t=se ) <ul><ul><ul><li>fun nextToHold( s: SITES ) = ( </li></ul></ul></ul><ul><ul><ul><li>if (s >= NoOfSites) then 1 </li></ul></ul></ul><ul><ul><ul><li>else s + 1; </li></ul></ul></ul><ul><ul><ul><li>) </li></ul></ul></ul>
  24. 24. <ul><li>Token </li></ul>

×