Boas vindas

Os Tamborins Estão Tocando!

Caro visitante,  Estamos finalmente, com uma reformulação do blog em curso! Depois de quatro anos, com mudança de gerenciador e remane...

Animação Bidimensional para World Wide Web Baseada em Autômatos Finitos

Dissertação de Mestrado
(indexado pela 1ªvez em 30/11/2011)

Nome: Fernando Accorsi
Instituição: UFRGS / Instituto de Informática
Programa: Programa de Pós-Graduação em Computação
Orientador: Paulo Fernando Blauth Menezes e Luciana Porcher Nedel
Ano: 2002
Pais: Brasil

Resumo
Este trabalho aplica a Teoria de Autômatos na proposição de uma nova  alternativa para prover animações 2D na World Wide Web, verificando as  contribuições alcançadas para as questões relacionadas ao espaço de  armazenamento, reutilização e manutenção do conteúdo e suporte à  recuperação de informação. Para este objetivo, é proposto o modelo AGA  (Animação Gráfica baseada em Autômatos Finitos), o qual especifica a  animação a partir de uma estrutura baseada em autômatos finitos com  saída. Esse modelo é definido de tal forma que os mesmos autômatos  utilizados na especificação, ao serem simulados, realizam o controle da  animação durante a apresentação. O modelo AGA apresenta características  que favorecem a redução do espaço de armazenamento da animação, provêem  suporte à recuperação de informação, colaboram com a reutilização e  manutenção do conteúdo das animações. Uma implementação multiplataforma  foi desenvolvida para apresentar animações especificadas nesse modelo na  Web. Essa implementação proporciona a elaboração de consultas ao  conteúdo da animação, além dos recursos tradicionais de reprodução. A  partir dessa implementação, o AGA foi submetido a um estudo de caso  prático, onde os resultados obtidos são comparados com o produzidos pelo  GIF (Graphic Interchange Format).  Esse comparativo demonstra que o AGA  possui várias vantagens em relação à estrutura adotada pelo GIF. O  modelo AGA é estendido utilizando autômatos temporizados para prover  restrições temporais às especificações e também ampliar as  funcionalidades de interação com o observador da animação. Essa  extensão, chamada de modelo AGA-S (Animação Gráfica baseada em Autômatos  Temporizados Sincronizados), é definida a partir do autômato  temporizado proposto por Alur e Dill. Para esse modelo, é definida uma  operação formal para sincronização dos componentes da animação e  adicionada uma estrutura baseada em autômatos finitos para controlar a  interação do observador com a animação.

Palavras-chave: WWW, Animação, Teoria dos autômatos, Autômatos temporizados, Recuperação de informação

Para o texto completo, clique aqui!