Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.

Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.

O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos instrucionais, em destacar especial, Avaliação e Exercício. Esse objetivo é motivado pela organização e agilização do processo de avaliação proporcionado ao professor e ao aluno. Existem diferentes técnicas de ensino utilizadas na Internet, algumas dessas continuam sendo projetadas com o uso de metodologias tradicionais de desenvolvimento, outras têm a capacidade de modelar de forma integrada e consistente alguns aspectos necessários para uma aplicação WEB. Para alcançar o objetivo proposto, foram realizadas pesquisas nas várias áreas abrangidas pelo tema em evidência, tanto relativo ao processo tradicional (aplicação de prova utilizando metodologia tradicional), como o desenvolvimento de software mediado por computador e uso da Internet em si. A modelagem de desenvolvimento para Internet deve integrar características de técnicas de projeto de sistemas de hipermídia devido à natureza hipertextual da Internet. O uso de hiperdocumento como autômatos com saída está na forma básica de representação de hipertexto, em que cada fragmento de informação é associado a um nodo ou a um link (estado/transições) do grafo. Sendo assim, os arcos direcionados representam relacionamentos entre os nodos ou links, ou seja, uma passagem do nodo origem para o nodo destino. As n-uplas dos autômatos apresentam uma correspondência as estruturas de hiperdocumentos na WEB, seu estado/transição inicial corresponde a sua primeira página e suas transições definidas na função programa, funcionam como ligações lógicas, quando selecionadas durante a navegação do hipertexto. Entretanto, faz-se necessário um levantamento dos modelos de hipertextos e das ferramentas de implementação disponíveis para a Internet, a fim de que seja capaz de suportar as peculiaridades do ambiente. Tudo isso deve ser integrado preferencialmente em um paradigma de desenvolvimento amplamente aceito, para que os projetistas não tenham muitas dificuldades em assimilar os conceitos propostos. A proposta apresentada nesta dissertação, batizada de Hyper-Automaton (hipertexto e autômato), consiste na integração de um Curso na WEB, utilizando formalismo de Autômatos Finitos com Saída para a modelagem dos conceitos necessários e definição das fases adequadas para completar a especificação de Sistema Exercício e Avaliação, bem como a especificação da Geração Automática dos Exercícios e Avaliações baseadas em autômatos para a WEB. Os modelos criados abrangem conceitos de Máquina de Mealy, Máquina de Moore e Aplicações de Hiperdocumentos e Ferramentas de Programação para Internet, os mesmos já testados em caso real. Os parâmetros apurados, nos testes, serviram a uma seqüência de etapas importantes para modelar e complementar a especificação do sistema projetado. Com os parâmetros e etapas de modelagem, a metodologia Hyper-Automaton consegue integrar, de forma consistente, as vantagens de várias técnicas específicas de modelagem de documentos e sistemas de hipermídia. Essas vantagens, aliadas ao suporte às ferramentas de desenvolvimento para Internet, garantem que a metodologia fique adequada para a modelagem de Sistemas com aplicação de métodos de autômatos para exercícios e avaliação na WEB.

Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T06:41:29Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T23:33:45Z : No. of bitstreams: 1 142695.pdf: 19485978 bytes, checksum: 2d263e1795acc512186fb0c7d462de59 (MD5)

Este trabalho visa apresentar uma metodologia para modelagem de motoristas a serem utilizados em simulações de tráfego veicular discreto. Além da metodologia, será apresentada uma plataforma para implementação de motoristas, chamada DRIVER-DFW, baseada neste conceito. Inicialmente, serão apresentados alguns modelos de movimentação de veículos baseados no modelo de autômato celular Nagel–Schreckenberg. O modelo básico será apresentado juntamente com alguns de seus aperfeiçoamentos, que são os modelos utilizados no simulador ITSUMO, que por sua vez é utilizado como base para o trabalho. Além dos modelos de autômato celular, serão apresentados modelos de planejamento de rota, que se utilizam de várias heurísticas para a tomada de decisão dos motoristas. Destes, selecionou-se um para implementação e demonstração. Mostradas as etapas para composição do modelo completo de motorista, isto é, movimentação e planejamento, será apresentada a plataforma para implementação de motoristas desenvolvida neste trabalho. Esta separação é a base da plataforma DRIVER-DFW que é discutida com mais detalhes para auxiliar a compreensão do seu funcionamento. Além disso, é mostrado como a metodologia é aplicada na plataforma para implementação de motoristas DRIVER-DFW. Por fim, conclui-se que este trabalho apresenta uma alternativa bastante atraente para a implementação de modelos de motoristas, com uma metodologia e uma plataforma de desenvolvimento. Também são apresentadas as diretrizes para dar prosseguimento a este.

Segundo Thalmann em 1996, animação é a visualização da variação do estado de objetos em relação ao tempo. A meta principal da animação modelada por computador é sintetizar o efeito desejado de movimento que é uma mistura de fenômenos naturais, percepção e imaginação. O sistema de animação deve providenciar ferramentas de controle de movimento para traduzir os desejos do usuário na linguagem do sistema. O controle dos movimentos de uma animação pode ser dividido em duas classes de algoritmos: a classe intencional, dirigida aos aspectos de controle em alto nível, onde as intenções de uma animação são expressas e a classe concreta, dirigida aos aspectos específicos de animação de objetos. A relação hierárquica destas classes favorece a implementação de um motor de animação usando camadas de abstração. Uma das abordagens atuais para a construção de um motor de animação para atores humanóides é um sistema implementado em camadas. A camada inferior lida com os movimentos individuais das articulações. As intermediárias são responsáveis por encapsular conjuntos de movimentos que atuam como tarefas simples. O encapsulamento destas tarefas é feito por camadas superiores que lidam com ações sensíveis ao ambiente. Por fim, a camada de mais alto nível atua no nível cognitivo onde um mecanismo dotado de capacidade de raciocínio comanda ações aos atores de acordo com as informações do contexto e também de acordo com as intenções, crenças e desejos dos atores. Este trabalho visa analisar uma proposta de implementação de um motor de animação para simular o comportamento de atores humanóides, gerando animações em três dimensões via World Wide Web. Dois modelos de animação baseados no formalismo AFS (Autômato Finito com Saída) que lidam com camadas específicas de abstração de um sistema de animação serão apresentados. O modelo AGA-J é uma extensão do modelo AGA para lidar com a classe concreta de movimentos de atores humanóides em 3D e serve como camada de fundação para outros modelos. O modelo AGA gera sequências animadas a partir de um conjunto de AFS que representam os atores da animação e um conjunto de fitas de entrada que determinam os comportamentos dos atores. O alfabeto de saída é representado por imagens e efeitos sonoros e a animação se dá pela sequência das saídas dos autômatos. O modelo AGA-T é um modelo orientado a tarefas, baseado em autômatos probabilísticos e eventos. Este modelo atua como uma camada de nível superior sobre o AGA-J, e foi projetado para lidar com alguns aspectos da classe intencional, sobretudo o encapsulamento de movimentos através de tarefas. O formalismo de AFS foi escolhido para a construção dos modelos porque propicia muitas características importantes: saída configurável através da análise da fita de saída; reusabilidade pelo fato de vários atores poderem usar o mesmo AFS; e recuperação de informação, observando o estado atual dos autômatos dos atores que compõem a animação. / According to Thalmann in 1996, animation is the visualization of changings on object states during time. The first goal of computer animation is to synthesize the desired motion effect that is a mix of natural phenomena, perception and imagination. An animation system must provide motion control tools to translate the user intentions into the system language. The motion control can be divided in two classes of algorithms: the intentional class, directed towards the high-level control aspects where the animation intentions are expressed; and the concrete class, which deals with specific aspects of object animation. The hierarchical relationship between these two classes benefits the implementation of an animation engine based on abstraction layers. One recent approach for building an animation engine to represent humanoid actors is a system implemented in layers. The lowest layer deals with individual joint movements, while the middle layers are responsible for encapsulating a set of movements acting as simple tasks. The task encapsulation is performed by high-level layers dealing with environment sensitive actions. Finally, the highest-level layer acts in the cognitive level, where a reasoning mechanism commands actions to the actors according to the context information, the beliefs, desires and intentions of the actors. This work explores an implementation proposal of an animation engine for simulating the behavior of humanoid actors, generating 3D animations to theWorld Wide Web. Two animation models based on the Finite Automata with Output formalism that deal with specific abstraction layers of an animation system will be presented. The AGA-J model is an extension of the AGA model for dealing with the concrete class of 3D movements of humanoid actors and it suits as a foundation layer for other models. The AGA model generates animated sequences by a set of Finite Automata with Output that implements the animation actors and a set of input tapes which determines the behavior of the actors. The output alphabet is represented by images, and sound effects, and the animation is produced by the sequence of the automata output. The AGA-T model is a task-oriented model, based on probabilistic automata and events. This model acts as a high-level layer over the AGA-J, and it was designed for dealing with some aspects of the intentional class, mainly the movement encapsulation by tasks. The Finite Automata with Output formalism was chosen for model construction because it provides many important features: adaptable output by analysis of output tape; reusability by the fact of many actors can use the same automaton; and information retrieval by observation of current state of the automata composing the animation.

Segundo Thalmann em 1996, animação é a visualização da variação do estado de objetos em relação ao tempo. A meta principal da animação modelada por computador é sintetizar o efeito desejado de movimento que é uma mistura de fenômenos naturais, percepção e imaginação. O sistema de animação deve providenciar ferramentas de controle de movimento para traduzir os desejos do usuário na linguagem do sistema. O controle dos movimentos de uma animação pode ser dividido em duas classes de algoritmos: a classe intencional, dirigida aos aspectos de controle em alto nível, onde as intenções de uma animação são expressas e a classe concreta, dirigida aos aspectos específicos de animação de objetos. A relação hierárquica destas classes favorece a implementação de um motor de animação usando camadas de abstração. Uma das abordagens atuais para a construção de um motor de animação para atores humanóides é um sistema implementado em camadas. A camada inferior lida com os movimentos individuais das articulações. As intermediárias são responsáveis por encapsular conjuntos de movimentos que atuam como tarefas simples. O encapsulamento destas tarefas é feito por camadas superiores que lidam com ações sensíveis ao ambiente. Por fim, a camada de mais alto nível atua no nível cognitivo onde um mecanismo dotado de capacidade de raciocínio comanda ações aos atores de acordo com as informações do contexto e também de acordo com as intenções, crenças e desejos dos atores. Este trabalho visa analisar uma proposta de implementação de um motor de animação para simular o comportamento de atores humanóides, gerando animações em três dimensões via World Wide Web. Dois modelos de animação baseados no formalismo AFS (Autômato Finito com Saída) que lidam com camadas específicas de abstração de um sistema de animação serão apresentados. O modelo AGA-J é uma extensão do modelo AGA para lidar com a classe concreta de movimentos de atores humanóides em 3D e serve como camada de fundação para outros modelos. O modelo AGA gera sequências animadas a partir de um conjunto de AFS que representam os atores da animação e um conjunto de fitas de entrada que determinam os comportamentos dos atores. O alfabeto de saída é representado por imagens e efeitos sonoros e a animação se dá pela sequência das saídas dos autômatos. O modelo AGA-T é um modelo orientado a tarefas, baseado em autômatos probabilísticos e eventos. Este modelo atua como uma camada de nível superior sobre o AGA-J, e foi projetado para lidar com alguns aspectos da classe intencional, sobretudo o encapsulamento de movimentos através de tarefas. O formalismo de AFS foi escolhido para a construção dos modelos porque propicia muitas características importantes: saída configurável através da análise da fita de saída; reusabilidade pelo fato de vários atores poderem usar o mesmo AFS; e recuperação de informação, observando o estado atual dos autômatos dos atores que compõem a animação. / According to Thalmann in 1996, animation is the visualization of changings on object states during time. The first goal of computer animation is to synthesize the desired motion effect that is a mix of natural phenomena, perception and imagination. An animation system must provide motion control tools to translate the user intentions into the system language. The motion control can be divided in two classes of algorithms: the intentional class, directed towards the high-level control aspects where the animation intentions are expressed; and the concrete class, which deals with specific aspects of object animation. The hierarchical relationship between these two classes benefits the implementation of an animation engine based on abstraction layers. One recent approach for building an animation engine to represent humanoid actors is a system implemented in layers. The lowest layer deals with individual joint movements, while the middle layers are responsible for encapsulating a set of movements acting as simple tasks. The task encapsulation is performed by high-level layers dealing with environment sensitive actions. Finally, the highest-level layer acts in the cognitive level, where a reasoning mechanism commands actions to the actors according to the context information, the beliefs, desires and intentions of the actors. This work explores an implementation proposal of an animation engine for simulating the behavior of humanoid actors, generating 3D animations to theWorld Wide Web. Two animation models based on the Finite Automata with Output formalism that deal with specific abstraction layers of an animation system will be presented. The AGA-J model is an extension of the AGA model for dealing with the concrete class of 3D movements of humanoid actors and it suits as a foundation layer for other models. The AGA model generates animated sequences by a set of Finite Automata with Output that implements the animation actors and a set of input tapes which determines the behavior of the actors. The output alphabet is represented by images, and sound effects, and the animation is produced by the sequence of the automata output. The AGA-T model is a task-oriented model, based on probabilistic automata and events. This model acts as a high-level layer over the AGA-J, and it was designed for dealing with some aspects of the intentional class, mainly the movement encapsulation by tasks. The Finite Automata with Output formalism was chosen for model construction because it provides many important features: adaptable output by analysis of output tape; reusability by the fact of many actors can use the same automaton; and information retrieval by observation of current state of the automata composing the animation.

Este trabalho visa apresentar uma metodologia para modelagem de motoristas a serem utilizados em simulações de tráfego veicular discreto. Além da metodologia, será apresentada uma plataforma para implementação de motoristas, chamada DRIVER-DFW, baseada neste conceito. Inicialmente, serão apresentados alguns modelos de movimentação de veículos baseados no modelo de autômato celular Nagel–Schreckenberg. O modelo básico será apresentado juntamente com alguns de seus aperfeiçoamentos, que são os modelos utilizados no simulador ITSUMO, que por sua vez é utilizado como base para o trabalho. Além dos modelos de autômato celular, serão apresentados modelos de planejamento de rota, que se utilizam de várias heurísticas para a tomada de decisão dos motoristas. Destes, selecionou-se um para implementação e demonstração. Mostradas as etapas para composição do modelo completo de motorista, isto é, movimentação e planejamento, será apresentada a plataforma para implementação de motoristas desenvolvida neste trabalho. Esta separação é a base da plataforma DRIVER-DFW que é discutida com mais detalhes para auxiliar a compreensão do seu funcionamento. Além disso, é mostrado como a metodologia é aplicada na plataforma para implementação de motoristas DRIVER-DFW. Por fim, conclui-se que este trabalho apresenta uma alternativa bastante atraente para a implementação de modelos de motoristas, com uma metodologia e uma plataforma de desenvolvimento. Também são apresentadas as diretrizes para dar prosseguimento a este.

Este trabalho visa apresentar uma metodologia para modelagem de motoristas a serem utilizados em simulações de tráfego veicular discreto. Além da metodologia, será apresentada uma plataforma para implementação de motoristas, chamada DRIVER-DFW, baseada neste conceito. Inicialmente, serão apresentados alguns modelos de movimentação de veículos baseados no modelo de autômato celular Nagel–Schreckenberg. O modelo básico será apresentado juntamente com alguns de seus aperfeiçoamentos, que são os modelos utilizados no simulador ITSUMO, que por sua vez é utilizado como base para o trabalho. Além dos modelos de autômato celular, serão apresentados modelos de planejamento de rota, que se utilizam de várias heurísticas para a tomada de decisão dos motoristas. Destes, selecionou-se um para implementação e demonstração. Mostradas as etapas para composição do modelo completo de motorista, isto é, movimentação e planejamento, será apresentada a plataforma para implementação de motoristas desenvolvida neste trabalho. Esta separação é a base da plataforma DRIVER-DFW que é discutida com mais detalhes para auxiliar a compreensão do seu funcionamento. Além disso, é mostrado como a metodologia é aplicada na plataforma para implementação de motoristas DRIVER-DFW. Por fim, conclui-se que este trabalho apresenta uma alternativa bastante atraente para a implementação de modelos de motoristas, com uma metodologia e uma plataforma de desenvolvimento. Também são apresentadas as diretrizes para dar prosseguimento a este.

Segundo Thalmann em 1996, animação é a visualização da variação do estado de objetos em relação ao tempo. A meta principal da animação modelada por computador é sintetizar o efeito desejado de movimento que é uma mistura de fenômenos naturais, percepção e imaginação. O sistema de animação deve providenciar ferramentas de controle de movimento para traduzir os desejos do usuário na linguagem do sistema. O controle dos movimentos de uma animação pode ser dividido em duas classes de algoritmos: a classe intencional, dirigida aos aspectos de controle em alto nível, onde as intenções de uma animação são expressas e a classe concreta, dirigida aos aspectos específicos de animação de objetos. A relação hierárquica destas classes favorece a implementação de um motor de animação usando camadas de abstração. Uma das abordagens atuais para a construção de um motor de animação para atores humanóides é um sistema implementado em camadas. A camada inferior lida com os movimentos individuais das articulações. As intermediárias são responsáveis por encapsular conjuntos de movimentos que atuam como tarefas simples. O encapsulamento destas tarefas é feito por camadas superiores que lidam com ações sensíveis ao ambiente. Por fim, a camada de mais alto nível atua no nível cognitivo onde um mecanismo dotado de capacidade de raciocínio comanda ações aos atores de acordo com as informações do contexto e também de acordo com as intenções, crenças e desejos dos atores. Este trabalho visa analisar uma proposta de implementação de um motor de animação para simular o comportamento de atores humanóides, gerando animações em três dimensões via World Wide Web. Dois modelos de animação baseados no formalismo AFS (Autômato Finito com Saída) que lidam com camadas específicas de abstração de um sistema de animação serão apresentados. O modelo AGA-J é uma extensão do modelo AGA para lidar com a classe concreta de movimentos de atores humanóides em 3D e serve como camada de fundação para outros modelos. O modelo AGA gera sequências animadas a partir de um conjunto de AFS que representam os atores da animação e um conjunto de fitas de entrada que determinam os comportamentos dos atores. O alfabeto de saída é representado por imagens e efeitos sonoros e a animação se dá pela sequência das saídas dos autômatos. O modelo AGA-T é um modelo orientado a tarefas, baseado em autômatos probabilísticos e eventos. Este modelo atua como uma camada de nível superior sobre o AGA-J, e foi projetado para lidar com alguns aspectos da classe intencional, sobretudo o encapsulamento de movimentos através de tarefas. O formalismo de AFS foi escolhido para a construção dos modelos porque propicia muitas características importantes: saída configurável através da análise da fita de saída; reusabilidade pelo fato de vários atores poderem usar o mesmo AFS; e recuperação de informação, observando o estado atual dos autômatos dos atores que compõem a animação. / According to Thalmann in 1996, animation is the visualization of changings on object states during time. The first goal of computer animation is to synthesize the desired motion effect that is a mix of natural phenomena, perception and imagination. An animation system must provide motion control tools to translate the user intentions into the system language. The motion control can be divided in two classes of algorithms: the intentional class, directed towards the high-level control aspects where the animation intentions are expressed; and the concrete class, which deals with specific aspects of object animation. The hierarchical relationship between these two classes benefits the implementation of an animation engine based on abstraction layers. One recent approach for building an animation engine to represent humanoid actors is a system implemented in layers. The lowest layer deals with individual joint movements, while the middle layers are responsible for encapsulating a set of movements acting as simple tasks. The task encapsulation is performed by high-level layers dealing with environment sensitive actions. Finally, the highest-level layer acts in the cognitive level, where a reasoning mechanism commands actions to the actors according to the context information, the beliefs, desires and intentions of the actors. This work explores an implementation proposal of an animation engine for simulating the behavior of humanoid actors, generating 3D animations to theWorld Wide Web. Two animation models based on the Finite Automata with Output formalism that deal with specific abstraction layers of an animation system will be presented. The AGA-J model is an extension of the AGA model for dealing with the concrete class of 3D movements of humanoid actors and it suits as a foundation layer for other models. The AGA model generates animated sequences by a set of Finite Automata with Output that implements the animation actors and a set of input tapes which determines the behavior of the actors. The output alphabet is represented by images, and sound effects, and the animation is produced by the sequence of the automata output. The AGA-T model is a task-oriented model, based on probabilistic automata and events. This model acts as a high-level layer over the AGA-J, and it was designed for dealing with some aspects of the intentional class, mainly the movement encapsulation by tasks. The Finite Automata with Output formalism was chosen for model construction because it provides many important features: adaptable output by analysis of output tape; reusability by the fact of many actors can use the same automaton; and information retrieval by observation of current state of the automata composing the animation.