Ubiratam Carvalho de Paula Junior Rafaelli de Carvalho Coutinho

Tamanho: px

Começar a partir da página:

Download "Ubiratam Carvalho de Paula Junior Rafaelli de Carvalho Coutinho"

Stéphanie Mota Brunelli
5 Há anos
Visualizações:

1 Universidade Federal Fluminense Pólo Universitário de Rio das Ostras Faculdade Federal de Rio das Ostras Bacharelado em Ciência da Computação Ubiratam Carvalho de Paula Junior Rafaelli de Carvalho Coutinho Um Ambiente Interativo para a Visualização de Topologias de Redes Rio das Ostras-RJ 2009

2 Apêndice A Manual Neste apêndice será explicado como o ambiente TopVis é instalado e utilizado com todas ou apenas uma parte de suas funcionalidades. A.1 Instalação Os passos para realizar a instalação do TopVis são: Windows (qualquer versão) 1. Faça o download do TopVis no site: 2. Execute o arquivo para realizar a extração. Selecione a pasta desejada para a qual serão extraídos os arquivos e pastas necessários. 3. Clique no arquivo TopVis.jar. Linux (qualquer distribuição) 1. Faça o download do TopVis no site: 2. Faça a extração do arquivo para uma pasta desejada. 3. Execute o arquivo TopVis.jar como aplicativo Java. Ou então, no terminal, na pasta onde foram extraídos os arquivos, execute o comando: java - jar TopVis.jar. 1

3 2 A.2 Visão geral do TopVis O ambiente TopVis consiste de uma janela principal, como mostra a figura A.1. Esta janela possui: uma área para visualização da topologia (1), 3 (três) áreas de texto para entrada da especificação em LEP (2) e um combobox para as topologias recentemente usadas (3). Além de botões para: gerar a visualização da topologia (4), verificar a corretude da sintaxe (5), iniciar a simulação (6), e futuramente verificar a propriedade (7). Figura A.1: Janela principal do TopVis A janela do TopVis também possui, além dos menus tradicionais (File, Edit e About) (8), o menu Actions (9). Este último realiza ações de envio de mensagens em broadcast ou para os vizinhos neighbours simuladas na vizualização da topologia. A.3 Utilizando o TopVis O TopVis pode ser utilizado de 3 (três) formar: apenas para gerar a visualização da topologia, para demonstrar envios de mensagens em broadcast e para nós

4 3 vizinhos, e para simular uma especificação em LEP. Futuramente, o TopVis também poderá ser utilizado com interface para a arquitetura de especificação e verificação formal proposta em [1]. A.3.1 Gerando a visualização da topologia Para gerar a visualização da topologia, é preciso escrever a parte da especificação LEP, a qual trata da definição da topologia sobre a qual a especificação será baseada, na área de texto Topology. Após isto, basta clicar o botão de play. Se a sintaxe estiver correta (conforme a gramática da linguagem), a visualização será gerada. Caso contrário, uma mensagem de erro será exibida. É possível interagir com a visualização gerada de 3 (três) formas: Clicando com o botão direito do mouse em cima de um nó (central ou periférico, para o exemplo ilustrado) tem-se as opções de remoção do nó, inserção de um nó filho, renomeação, inserção de aresta, e reconexão a outro nó, conforme mostrado na figura A.3. Clicando com o botão direito fora do grafo tem-se a opção de inserção de um novo nó, conforme mostrado na figura A.2. Clicando com o botão direito em qualquer aresta tem-se a opção mudar sua cor, conforme mostrado na figura A.4. Figura A.2: Clique com o botão direito fora do grafo Figura A.3: Clique com o botão direito em um nó

4 Figura A.4: Clique com o botão direito em uma aresta A.3.

envios de mensagens em broadcast (figura A.5) e para os nós vizinhos (figura A.6).

Tendo sido escolhida uma das duas opções, uma janela será exibida para a entrada do nó do grafo que iniciará o envio. Figura A.

5 4 Figura A.4: Clique com o botão direito em uma aresta A.3.2 Envios de mensagens em broadcast e para nós vizinhos Uma vez que a visualização da topologia foi gerada, é possível realizar envios de mensagens em broadcast (figura A.5) e para os nós vizinhos (figura A.6). Para isto, é necessário usar as opções Broadcast e Neighbours do menu actions. Tendo sido escolhida uma das duas opções, uma janela será exibida para a entrada do nó do grafo que iniciará o envio. Figura A.5: Uso da ação Everyone para envio em Broadcast a partir do nó 0 Figura A.6: Uso da ação Neighbours para envio aos vizinhos do nó 14 A.3.3 Simulando uma especificação LEP Para realizar uma simulação de uma especificação em LEP, é necessário que toda a especificação esteja escrita ou carregada de um arquivo nas áreas de

5 texto do ambiente. Feito isto, a visualização da topologia deve ser gerada para, então, iniciar a simulação da especificação (clicando no botão Load Simulation).

6 5 texto do ambiente. Feito isto, a visualização da topologia deve ser gerada para, então, iniciar a simulação da especificação (clicando no botão Load Simulation). Uma nova janela é exibida (ver figura A.7), contendo as etapas da simulação, mostrando a mensagem e a linha da especificação em questão. A visualização da simulação inicia-se com o botão Start, e cada passo é avançado com o botão Next. Por fim, esta é encerrada com o botão End, fechando esta janela auxiliar. A fim de facilitar a escrita da especificação, o usuário pode utilizar o botão Check Sintax para verificar a corretude da sintaxe antes de iniciar a simulação. Este recurso pode ser utilizado sem que a visualização da topologia seja gerada. Figura A.7: Janela principal mais janela auxiliar da simulação

7 Referências Bibliográficas [1] C. Bazilio. Análise formal de protocolos e algoritimos distribuídos : uma abordagem baseada em linguagem; orientador: Edward hermann haeusler, Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro,

Documentos relacionados

Departamento de Engenharia Elétrica e de Computação EESC-USP. Guia de Projetos VHDL utilizando o QUARTUIS II. Profa. Luiza Maria Romeiro Codá

Departamento de Engenharia Elétrica e de Computação EESC-USP Guia de Projetos VHDL utilizando o QUARTUIS II Profa. Luiza Maria Romeiro Codá 1. Criando um novo projeto: 1.1 Iniciando o Quartus II, criando