O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

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.

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.

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.

Neste trabalho estudamos as propriedades termodinâmicas da Condensação de Bose-Einstein (CBE) para um gás de bósons não-interagentes confinado em potenciais bidimensionais V(x,y) que apresentam classicamente, um caos-suave (soft chaos), isto é, um espaço de fases compartilhado por ilhas de estabilidade e mares de caos. O formalismo estatístico mais apropriado para os nossos objetivos é o descrito pelo ensemble canônico, de forma que o número de partículas N é mantido fixo em cada simulação. Nosso principal objetivo é investigar se o caos pode caracterizar algum comportamento distinto nas propriedades do Condensado de Bose-Einstein. Para comparação dos nossos resultados com a literatura, mostramos em detalhes todos os cálculos para o oscilador bidimensional e a caixa bidimensional suavizados1. No potencial harmônico a suavização implica em um amortecimento da freqüência de oscilação, enquanto que para a caixa bidimensional, a suavização implica em um aumento da área da caixa quando N é aumentado. Esse recurso é necessário, uma vez que não se define rigorosamente uma transição de fase em sistemas com dimensão menor que três. Embora a suavização pareça ser mais um recurso matemático que físico, ela descreve bem a CBE em potenciais suaves. Para estudar o efeito do caos na CBE, escolhemos dois potenciais: i) O potencial Nelson, que é um potencial parabólico que descreve essencialmente dois osciladores harmônicos x e y com um termo de acoplamento não-linear que origina caos; ii) O potencial quártico, cuja base é mais achatada parecendo-se mais com uma caixa. Simulamos também a situação em que a partícula confinada é sujeita a um campo magnético perpendicular uniforme ao longo do eixoz. Os nossos resultados mostram que estatísticas que são bilineares em relação à densidade de energia do potencial de confinamento, como a variância do número de ocupação do estado fundamental, exibem assinatura do caos subjacente. / In this work we examine some of the thermodynamics propertie of Bose-Einstein Condensation (BEC) for a gas of non-interacting bosons trapped in bidimensional potentials V(x,y). We choose potentials that exhibits soft chaos in the classical regime which means they have a mixed phase space where islands of stability share the space with chaotic seas. We also describe the statistics via the canonical ensemble formalism which is more appropriate for our purposes. In this case, the number of particles N is kept fixed through each numerical simulation. Our main goal is to detect, if there is any, influence of the subjacent chaotic behavior in the BEC. For a matter of comparison, we show in details the calculations of both smoothed bidimensional harmonic oscillator and smoothed bidimensional box. The smoothing is equivalent to weakening the potential, so that it can be understood as to slowing down the oscillator frequency and to an enlargement of the box side as N is increased. This is necessary since phase transitions are rigorously violated in systems with dimension d < 3. Although this smoothing seems rather artificial, it models well BEC in non-rigid potentials. In order to study any possible fingerprint of chaos in the Bose-Einstein condensate we choose two potentials: i) Nelson Potential which is a paraboloid describing two harmonic oscillators coupled via a term that is responsible for the chaos in the system and ii) Quartic Potential which has a flat bottom resembling a box. We were also able to simulate the potentials with uniform magnetic field in the z direction. Our results show that statistics that are bilinear in the potential density of states like the particle number fluctuation of the ground state exhibit some fingerprints of the subjacent chaos.

Neste trabalho estudamos as propriedades termodinâmicas da Condensação de Bose-Einstein (CBE) para um gás de bósons não-interagentes confinado em potenciais bidimensionais V(x,y) que apresentam classicamente, um caos-suave (soft chaos), isto é, um espaço de fases compartilhado por ilhas de estabilidade e mares de caos. O formalismo estatístico mais apropriado para os nossos objetivos é o descrito pelo ensemble canônico, de forma que o número de partículas N é mantido fixo em cada simulação. Nosso principal objetivo é investigar se o caos pode caracterizar algum comportamento distinto nas propriedades do Condensado de Bose-Einstein. Para comparação dos nossos resultados com a literatura, mostramos em detalhes todos os cálculos para o oscilador bidimensional e a caixa bidimensional suavizados1. No potencial harmônico a suavização implica em um amortecimento da freqüência de oscilação, enquanto que para a caixa bidimensional, a suavização implica em um aumento da área da caixa quando N é aumentado. Esse recurso é necessário, uma vez que não se define rigorosamente uma transição de fase em sistemas com dimensão menor que três. Embora a suavização pareça ser mais um recurso matemático que físico, ela descreve bem a CBE em potenciais suaves. Para estudar o efeito do caos na CBE, escolhemos dois potenciais: i) O potencial Nelson, que é um potencial parabólico que descreve essencialmente dois osciladores harmônicos x e y com um termo de acoplamento não-linear que origina caos; ii) O potencial quártico, cuja base é mais achatada parecendo-se mais com uma caixa. Simulamos também a situação em que a partícula confinada é sujeita a um campo magnético perpendicular uniforme ao longo do eixoz. Os nossos resultados mostram que estatísticas que são bilineares em relação à densidade de energia do potencial de confinamento, como a variância do número de ocupação do estado fundamental, exibem assinatura do caos subjacente. / In this work we examine some of the thermodynamics propertie of Bose-Einstein Condensation (BEC) for a gas of non-interacting bosons trapped in bidimensional potentials V(x,y). We choose potentials that exhibits soft chaos in the classical regime which means they have a mixed phase space where islands of stability share the space with chaotic seas. We also describe the statistics via the canonical ensemble formalism which is more appropriate for our purposes. In this case, the number of particles N is kept fixed through each numerical simulation. Our main goal is to detect, if there is any, influence of the subjacent chaotic behavior in the BEC. For a matter of comparison, we show in details the calculations of both smoothed bidimensional harmonic oscillator and smoothed bidimensional box. The smoothing is equivalent to weakening the potential, so that it can be understood as to slowing down the oscillator frequency and to an enlargement of the box side as N is increased. This is necessary since phase transitions are rigorously violated in systems with dimension d < 3. Although this smoothing seems rather artificial, it models well BEC in non-rigid potentials. In order to study any possible fingerprint of chaos in the Bose-Einstein condensate we choose two potentials: i) Nelson Potential which is a paraboloid describing two harmonic oscillators coupled via a term that is responsible for the chaos in the system and ii) Quartic Potential which has a flat bottom resembling a box. We were also able to simulate the potentials with uniform magnetic field in the z direction. Our results show that statistics that are bilinear in the potential density of states like the particle number fluctuation of the ground state exhibit some fingerprints of the subjacent chaos.

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.

Neste trabalho estudamos as propriedades termodinâmicas da Condensação de Bose-Einstein (CBE) para um gás de bósons não-interagentes confinado em potenciais bidimensionais V(x,y) que apresentam classicamente, um caos-suave (soft chaos), isto é, um espaço de fases compartilhado por ilhas de estabilidade e mares de caos. O formalismo estatístico mais apropriado para os nossos objetivos é o descrito pelo ensemble canônico, de forma que o número de partículas N é mantido fixo em cada simulação. Nosso principal objetivo é investigar se o caos pode caracterizar algum comportamento distinto nas propriedades do Condensado de Bose-Einstein. Para comparação dos nossos resultados com a literatura, mostramos em detalhes todos os cálculos para o oscilador bidimensional e a caixa bidimensional suavizados1. No potencial harmônico a suavização implica em um amortecimento da freqüência de oscilação, enquanto que para a caixa bidimensional, a suavização implica em um aumento da área da caixa quando N é aumentado. Esse recurso é necessário, uma vez que não se define rigorosamente uma transição de fase em sistemas com dimensão menor que três. Embora a suavização pareça ser mais um recurso matemático que físico, ela descreve bem a CBE em potenciais suaves. Para estudar o efeito do caos na CBE, escolhemos dois potenciais: i) O potencial Nelson, que é um potencial parabólico que descreve essencialmente dois osciladores harmônicos x e y com um termo de acoplamento não-linear que origina caos; ii) O potencial quártico, cuja base é mais achatada parecendo-se mais com uma caixa. Simulamos também a situação em que a partícula confinada é sujeita a um campo magnético perpendicular uniforme ao longo do eixoz. Os nossos resultados mostram que estatísticas que são bilineares em relação à densidade de energia do potencial de confinamento, como a variância do número de ocupação do estado fundamental, exibem assinatura do caos subjacente. / In this work we examine some of the thermodynamics propertie of Bose-Einstein Condensation (BEC) for a gas of non-interacting bosons trapped in bidimensional potentials V(x,y). We choose potentials that exhibits soft chaos in the classical regime which means they have a mixed phase space where islands of stability share the space with chaotic seas. We also describe the statistics via the canonical ensemble formalism which is more appropriate for our purposes. In this case, the number of particles N is kept fixed through each numerical simulation. Our main goal is to detect, if there is any, influence of the subjacent chaotic behavior in the BEC. For a matter of comparison, we show in details the calculations of both smoothed bidimensional harmonic oscillator and smoothed bidimensional box. The smoothing is equivalent to weakening the potential, so that it can be understood as to slowing down the oscillator frequency and to an enlargement of the box side as N is increased. This is necessary since phase transitions are rigorously violated in systems with dimension d < 3. Although this smoothing seems rather artificial, it models well BEC in non-rigid potentials. In order to study any possible fingerprint of chaos in the Bose-Einstein condensate we choose two potentials: i) Nelson Potential which is a paraboloid describing two harmonic oscillators coupled via a term that is responsible for the chaos in the system and ii) Quartic Potential which has a flat bottom resembling a box. We were also able to simulate the potentials with uniform magnetic field in the z direction. Our results show that statistics that are bilinear in the potential density of states like the particle number fluctuation of the ground state exhibit some fingerprints of the subjacent chaos.

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.