Artigo: análise e comparação de frameworks para grafos

An´ lise e comparacao de frameworks para edicao e a ¸˜
¸˜
visualizacao de grafos
¸˜
1

Abstract. This work is related to a project, which has as main idea the construction of computational tools for proof-graphs. Thus, the chief goal of our work is the analysis and comparison of frameworks based on Java for editing and visualizing graphs. With this in mind, we have build a graph editor with a two-fold goal: comparing the Java frameworks and use it as a prototype for our proof-graph tool.
Keywords: Graph, Framework, Proof-Graph, Java
Resumo. Este trabalho est´ inserido dentro de um projeto que tem por objetivo a a construcao de ferramentas computacionais para grafos-de-prova. Assim, a
¸˜
meta do presente trabalho e analisar e comparar frameworks baseados para a
´
linguagem Java para edicao e visualizacao de grafos. Para isso, foi constru´do
¸˜
¸˜ ı um editor de grafos com dois objetivos: comparar os frameworks Java e servir de prot´ tipo para a ferramenta edicao dos grafos-de-prova. o ¸˜
Palavras-chave: Grafo, Framework, Grafo-de-Prova, Java

1. Introducao
¸˜
´
Em Ciˆ ncia da Computacao ou em demais areas co-relacionadas, grafos podem ser dee
¸˜
finidos como uma forma de representacao de dados [Harary 1969]. Sua aplicabilidade
¸˜
´ abrange in´ meras areas, como: Qu´mica, Engenharia, Matem´ tica, e principalmente a u ı a ´ area da Computacao, onde existem n sub-´ reas as quais grafos aplicam-se, como no caso
¸˜
a da Inteligˆ ncia Artificial, Redes, Jogos, Compiladores, L´ gica, entre outras sub-´ reas ree o a lacionadas. ´
Devido o uso de grafos tornar-se comum em v´ rias areas, extens˜ es e novas fora o ´ mas de grafos surgiram. Entre as diferentes aplicacoes de grafos, surge o uso na area
¸˜
de teoria da prova. Especificamente para representacao de provas da Deducao Natural.
¸˜
¸˜
Em sua tese, [de Oliveira 2001], faz uso de conceitos da teoria dos grafos para criacao de
¸˜
um sistema de provas chamado