Autmatos Finitos: um Formalismo para Cursos na Web1

Jlio P. Machado, Leonardo Penczek, Carlos Tadeu Q. Morais, Paulo B. Menezes Universidade Federal do Rio Grande do Sul - Instituto de Informtica Av. Bento Gonalves, 9500. Caixa Postal 15064. CEP 91501-970. Porto Alegre - RS - Brasil E-mail: {jhapm, penczek, cmorais, blauth} @inf.ufrgs.br
1 Trabalho parcialmente apoiado por CAPES (Projeto TEIA), FAPERGS (Projeto QaP-For) e CNPq (Projetos HoVer-CAM, GRAPHIT)

Resumo
Este trabalho apresenta a modelagem de cursos disponibilizados via WWW utilizando-se construes formais conhecidas como Autmatos Finitos Determinsticos com Sada. introduzido o conceito de "cursos so autmatos" como uma estrutura em camadas que permite fcil implementao e criao de material hipermdia independente do esquema de navegao. O modelo permite projetar cursos hipermdia com a mesma estrutura, reutilizando seu contedo em outros cursos e possibilitando o reuso do material didtico. O objetivo fundamental deste projeto criar um sistema semi-automatizado para o suporte de cursos na Web atravs da aplicao de conceitos inerentes Cincia da Computao, em especial da Teoria de Autmatos e Teoria das Categorias, juntamente tecnologia de hiperdocumentos, reunindo os benefcios de ambas. Palavras-chave: WWW, cursos hipermdia, autmatos finitos, projeto de cursos

1.Introduo Com a expanso da WWW, tornou-se possvel oferecer a estudantes um acesso ilimitado a materiais instrucionais de forma independente de tempo e espao [3,4,24,32]. Entretanto, tais materiais esto dispersos atravs de inmeros servidores Web e no fcil encontrar a informao que se procura quando tentamos aprender ou ensinar algum tpico especfico. Torna-se essencial que a Engenharia de Software pesquise e desenvolva modelos [10,12,28], linguagens e ferramentas [6,13,14,15] para este novo domnio de aplicao que a educao e treinamento baseados em tecnologia Web a fim de solucionar e contornar problemas como o mencionado anteriormente. Neste trabalho, apresentado uma forma de modelagem de cursos na Web utilizando Autmatos Finitos Determinsticos com Sada [17,35]. Esta tcnica est direcionada para o suporte de cursos remotos [18,20,34] em um sistema semi-automatizado para o ensino de Informtica Terica no Instituto de Informtica da Universidade Federal do Rio Grande do Sul. Neste modelo, cursos so autmatos com sada e links entre as pginas so transies de um autmato. Autmatos tm uma histria de uso em muitas disciplinas como uma tcnica de diagramao formal [7,17,19]. Os autmatos podem ser representados por uma estrutura de grafo, a qual pode ser manipulada sobre vrios aspectos. Grafos com uma semntica formal podem ser usados para prover interfaces de programao para o controle de material hipermdia. Diversos trabalhos relacionados ao uso de representaes grficas na modelagem de aplicaes hipermdia, principalmente modelagem de cursos, utilizam outras construes,

como Mapas Conceituais [9,11,26,29], Workflow [1,24], modelos Entidade-Relacionamento e Orientao a Objetos [10,25]. Uma das vantagens da soluo utilizada que a estrutura dos autmatos com sada permite a criao do material hipermdia de forma independente do autmato em si, possibilitando a programao de seqncias de estudo com objetivos e enfoques especficos, reuso de parte ou ntegra das pginas Web em diversos cursos (autmatos) - eliminando a redundncia na criao de pginas - bem como a modularizao que facilita a expansibilidade do sistema. Alguns aspectos especficos de implementao do modelo proposto so discutidos e as solues empregadas so apresentadas. Com especial enfoque no desenvolvimento de sistemas modulares [10,12], onde a base de hiperdocumentos projetada de forma independente da estrutura de controle da aplicao hipermdia. 2.Cursos so Autmatos Neste sistema, um curso pode ser visto sob dois enfoques principais: A) A Mquina de Moore [35] um autmato finito com sadas associadas aos estados. representada por uma 7-upla M = (, Q, , q0, F, , S), onde alfabeto de smbolos de entrada; Q conjunto de estados possveis do autmato, o qual finito; : Q x Q funo programa ou funo de transio, a qual uma funo parcial que, dependendo do estado corrente e do smbolo lido, determina o novo estado do autmato; q0 estado inicial tal que q0 elemento de Q; F conjunto de estados finais tal que F est contido em Q; alfabeto de smbolos de sada; S: Q * funo de sada, a qual uma funo total que determina a gerao de uma palavra de sada para cada estrado. B) A Mquina de Mealy [35] um autmato finito modificado de forma a gerar uma palavra de sada para cada transio. representado por uma 6-upla M = (, Q, , q0, F, ), onde alfabeto de smbolos de entrada; Q conjunto de estados possveis do autmato, o qual finito; : Q x Q x * funo programa ou funo de transio, a qual uma funo parcial que, dependendo do estado corrente e do smbolo lido, determina o novo estado do autmato e a sada gerada; q0 estado inicial tal que q0 elemento de Q; F conjunto de estados finais tal que F est contido em Q; alfabeto de smbolos de sada. As n-uplas dos autmatos de cursos apresentam uma correspondncia s estruturas de hiperdocumentos na Web. O alfabeto de smbolos de entrada um conjunto de nomes que identificam os links de navegao no hipertexto do curso. O estado inicial q0 corresponde ao ponto de entrada inicial de um curso, comumente chamado de homepage. Note que a noo de palavra permanece, pois as sadas (de um alfabeto ) esto relacionadas a unidades de informao (contedo do curso) constitudas por pginas Web e as palavras de sada *, presentes na funo programa e funo de sada S, so pginas concatenadas como uma nica pgina Web no navegador do usurio. As transies, definidas na funo programa ,

funcionam como ligaes lgicas entre os contedos dos cursos e definem possveis links HTML a serem selecionados pelos alunos durante a navegao pelo hipertexto. Optou-se ainda por uma soluo no standard pois verificou-se que, com freqncia, em cursos pequenos cada estado tem uma sada diferente, ou seja, cada pgina de contedo do curso corresponde a exatamente um estado. Esta soluo foi criada para facilitar a especificao da funo programa do autmato pelo professor e, conseqentemente, a utilizao de uma interface mais simples e direta. Uma conseqncia direta da modelagem utilizada que o contedo instrucional deve ser particionado por vrias pginas de hipertexto, geralmente pequenas, que no todo formam um tpico a ser apresentado em um curso. No exemplo da Figura1, definida uma seqncia (parte de um autmato maior) simples e objetiva de um curso como uma Mquina de Moore. Considere como material instrucional as seguintes pginas de contedos, disponibilizadas em um servidor HTTP: definio de autmato finito (A), exemplo de autmato (B), definio de autmato de sada (C), Mquina de Mealy (D), Mquina de Moore (E), exemplo de Mealy (F), exemplo de Moore (G), exerccios de Mealy (H), exerccios de Moore (I). Os links de navegao disponibilizados aos usurios so representados pelas seguintes ncoras de texto: prximo (1), anterior (2), exerccio (3). As pginas concatenadas de sada, que so os hiperdocumentos apresentados no navegador do usurio: A-B, C, D-F, E-G, H-F, I-G.
1 ( q0 , A-B) 2 ( q1 , C ) 1 2 2 ( q2 , D-F) 3 1 2 ( q3 , E-G) 2 3

( q4 , H-F)

( q5 , I-G)

Figura1 - Parte de um curso modelado como uma Mquina de Moore

Um aspecto fundamental do modelo apresentado est na possibilidade da operao de composio sobre nodos/links (estados/transies), bem como sobre autmatos. A estrutura formal que permite tal operao de alto nvel encontra-se na Teoria das Categorias [2,27]. Utilizando-se construes inspiradas em grafos e categorias com elementos distinguidos, apresentadas em [16], possvel definir a composicionalidade de cursos, facilitando a construo de novos cursos sobre cursos j existentes. Neste contexto, a operao categorial de produto permite a criao e sincronizao de caminhos possveis de navegao, a operao funtorial de restrio (tcnica de fibrao) permite a seleo de partes especficas de um curso para remoo automtica de links entre pginas de contedo, e a operao de reetiquetao (tcnica de cofibrao) fornece ferramentas para reetiquetao e encapsulamento de transies (tais operaes encontram-se definidas em [36]). No est no escopo deste trabalho a introduo de conceitos relacionados Teoria das Categorias, ficando o mesmo restrito apresentao dos autmatos finitos.

3.Modelo do Sistema Em projetos de software para a Internet, a Web aparece como uma estrutura bsica que pode ser utilizada para a criao e apoio ambientes de aprendizagem. A estrutura WWW um ncleo de protocolos de transporte, interfaces e armazenamento de dados sobre o qual so definidas camadas de ferramentas para complementar uma estrutura j existente, visando torn-la mais apta para o suporte s necessidades de aplicaes mais especficas. Como um complemento estrutura Internet, o sistema consiste em um ambiente de apoio interativo ao professor, com recursos que facilitam uma representao grfica do curso, assim como uma interface amigvel para os servios disponibilizados (criao e manuteno de cursos). Prope-se um modelo em mltiplas camadas, as quais podem ser projetadas e implementadas de uma forma independente. Na Figura2 mostra-se os relacionamentos entre os componentes do sistema de controle de acesso ao contedo da informao. A camada A contm o conjunto de conhecimentos disponvel aos alunos, sendo composto por material hipermdia disponibilizados em um servidor. O conjunto de autmatos, como definidos na seo anterior, localiza-se na camada B e possibilita selecionar e ordenar as informaes que os alunos recebero de acordo com os objetivos de um curso. Na camada C encontram-se os mecanismos que permitem acessar diretamente cada poro de informao, entre eles ndices, glossrio e ferramentas de busca. O uso da camada C possibilita uma navegao livre atravs dos hiperdocumentos, acessando as informaes na ordem que se desejar. Enquanto a camada B possui mecanismos que permitem acessar um tpico de cada vez, numa seqncia previamente definida pelo professor.

HIPERDOCUMENTOS A

AUTMATOS B

ESTRUTURAS DE ACESSO C

OUTROS MDULOS

Figura2 - Modelo dos componentes do sistema

A criao de cursos modelados como autmatos finitos serve categoria de sistemas capazes de oferecer estudo individualizado, com caminhos construdos especificamente para cada nvel de habilidade dos alunos ou com objetivos diferentes. Desta forma, como a criao do material hipermdia independente do autmato, possvel criar diversos autmatos sobre uma mesma base de materiais, cada um com objetivos especficos ou enfoques diferentes. O professor pode armazenar no servidor um grande nmero de autmatos diferentes, cada um com um objetivo especfico como: introduzir um novo tpico aos alunos, revisar lies previamente apresentadas, preparar o aluno para uma avaliao final, ou at mesmo

seqncias de estudo direcionadas a um grupo particular de estudantes (por exemplo instruo baseada em exemplos ou em resoluo de problemas). Um ponto importante na estrutura do sistema diz respeito a capacidade do modelo de autmatos finitos em mapear as possibilidades de navegao sobre uma hiperbase. A expressividade de um sistema de hipertexto definida como a capacidade de seguir um link, conforme [22]. Ainda segundo os autores [22] (veja seo 6), o autmato com pilha fornece uma capacidade de expresso maior que o autmato finito determinstico, porm tal poder de expresso j est presente no sistema atravs dos mecanismos de "histria" e "boto de volta" implementados pela maioria dos navegadores de hipertextos disponveis. importante salientar que o sistema no tem a inteno de mapear com totalidade a expressividade dos sistemas de hipertexto, somente conseguida atravs de links funcionais (Mquina de Turing [7,35]), mas est dirigido construo de hipertextos fortemente hierrquicos de forma a evitar o excesso de liberdade e falta de profundidade do aluno quando explorando uma base de hiperdocumentos, desta forma autmatos finitos cumprem com eficincia o papel de mecanismos de restrio e estruturao dentro do modelo proposto. 3.1.Reusabilidade e Expansibilidade A apresentao de conhecimento na Web se realiza atravs da composio de diversos arquivos, trechos de textos em HTML, figuras, simuladores [21] em Java, e outros recursos hipermdia que so ligados e interligados por hyperlinks de acordo com a estrutura definida pelos autmatos do curso. Embora os arquivos estejam armazenados em um servidor HTTP, como na maioria dos sistemas destinados ao ensino pela Internet, h uma diferena fundamental: os arquivos no contm links armazenados diretamente em seu cdigo HTML. Dessa forma, a seqncia das informaes a serem "navegadas" pelos usurios no est contida no prprio documento, mas separada do contedo instrucional. Como conseqncia, o reuso do material instrucional muito simples. Pode-se alterar o autmato sem alterao nas pginas HTML e vice-versa, bem como utilizar uma mesma pgina para diversos cursos. A estrutura do sistema de hipertexto que no utiliza links diretos permite a estruturao e edio do conjunto de materiais hipermdia sem a necessidade do autor dos documentos se preocupar com a insero de links diretamente nos textos, facilitando a tarefa de edio dos documentos. Um benefcio adicional que, como pginas de um curso podem ser constitudas por n outras sub-pginas concatenadas, o autor pode construir funes de sada/programa diferentes que contenham acesso a pginas de mesmo contedo, evitando-se redundncia na criao dos documentos HTML. Por exemplo, pode existir uma funo que gere uma pgina contendo uma "definio" e um "exemplo", enquanto outra pgina pode ter o mesmo "exemplo" como "dica" para um exerccio. Por apresentar caractersticas modulares, outros mdulos e modificaes podem ser facilmente adicionados ao sistema de acordo com as necessidades. Novos mdulos de controle podem ser adicionados sobre as camadas da hiperbase e autmatos. Por exemplo: Uma alterao da funo programa do autmato finito permite a incluso de restries temporais no modelo, como um subconjunto das possibilidades encontradas na modelagem de workflow [24]. Aspectos relacionados ao tempo so de fundamental importncia em ferramentas de courseware. Um exemplo de restrio temporal seria a necessidade de completar um curso no perodo mximo de quatro meses. A incluso de regras condicionais (segundo alguma linguagem de lgica temporal) na definio da funo programa est intimamente ligada a existncia de agentes automatizados de

monitorao das atividades dos estudantes, os quais controlam a disponibilidade de uma transio de acordo com as restries impostas. Com a representao do autmato armazenada, possvel gerenciar a execuo da navegao de alunos de forma individualizada, atravs da verificao dos caminhos dos autmatos. Tambm possvel ao aluno retornar ao ltimo ponto de acesso no curso durante sua ltima sesso de trabalho, bastando o armazenamento do estado atual do autmato dentro de uma base de dados com logging das atividades realizadas pelos alunos. Com a possibilidade de definio de diferentes autmatos sobre um mesmo curso, um mdulo Tutor Inteligente pode ser adicionado juntamente com um Modelo de Aluno. Esta nova camada seria responsvel por selecionar o autmato a ser disponibilizado ao aluno de acordo com regras especficas armazenadas em sua base de conhecimento. O modelo de Multi-Agentes pode ser utilizado na implantao de tal soluo. Um mdulo para avaliao de alunos est em desenvolvimento. Este mdulo consiste em um banco de dados de provas e exerccios on-line integrado com o mdulo de controle dos autmatos. Com esta integrao possvel definir exerccios "inteligentes" com vrios nveis de "dicas" para a soluo de problemas e referncias cruzadas para o material instrucional relativo questo apresentada.

3.2. Operaes Sobre Cursos O modelo de autmatos utilizado inerentemente um mecanismo de controle de navegao, provendo ao autor de um curso um controle maior sobre a seqncia na qual os nodos sero visitados pelos alunos. Este mecanismo pode ser implementado atravs de regras de restrio aplicadas sobre o autmato de um curso. Basicamente, temos 3 diferentes restries: transies - o autor pode selecionar transies especficas que no mais estaro disponveis no autmato, desta forma removendo links entre pginas de contedo; etiquetas pode-se escolher etiquetas de determinadas transies para serem removidas de um autmato, restringindo os caminhos de navegao possveis; estados - o autor pode querer remover certos materiais instrucionais de um curso, esta operao pode ser realizada atravs da remoo de estados do autmato e correspondentes transies etiquetadas. Outra operao construda sobre o alfabeto de entrada, o qual representa os links entre as pginas do curso, conforme o modelo j introduzido. O autor pode reetiquetar transies de forma a alterar as ncoras de um link dentro de uma pgina atravs de um procedimento rpido e seguro, sem a necessidade de alterar o cdigo HTML de alguma pgina de contedo do curso. Durante a fase de desenvolvimento de um curso, o autor pode estar interessado em gradualmente adicionar novos materiais instrucionais a um curso. Usualmente, estes materiais no esto completamente desenvolvidos e o autor pode especificar na estrutura do autmato quais estados esto "incompletos", limitando o acesso de alunos s respectivas pginas. Tal procedimento ilustra uma operao categorial conhecida como encapsulamento. 4.Implementao A implementao do sistema descrito neste trabalho tem como base as premissas da criao de uma ferramenta simples, de fcil implementao, manuteno e reuso, independente de outros sistemas (como banco de dados, sistema operacional, etc). Com base nessas premissas, as escolhas de projeto centraram-se na seleo de linguagens de

programao suportadas em mltiplas plataformas e na utilizao de um sistema de armazenamento de dados com formato interno prprio. Deve-se salientar que o sistema pode vir a ser portado para um banco de dados especfico, caso seja necessrio no futuro. Foi adotado uma arquitetura cliente-servidor para o sistema na WWW (Figura3). O servidor formado por um conjunto de programas CGI (desenvolvidos na linguagem Perl) alocados em um servidor HTTP e oferece servios de controle sobre as estruturas dos autmatos e acesso hiperbase. Um cliente pode ser qualquer navegador WWW com capacidade de execuo de applets Java. As pginas HTML e material hipermdia em geral esto localizadas no servidor HTTP em questo. O sistema no utiliza nenhum editor de HTML integrado, podendo o professor utilizar o programa com o qual est mais familiarizado.
CLIENTE SERVIDOR

NAVEGADOR

Hiperdocumentos CGI

JAVA APPLETS

Autmatos

Figura3 - Arquitetura cliente-servidor bsica do sistema

O autor de um curso ter acesso a uma interface grfica com suporte notao de grafos para a criao e manipulao dos autmatos, utilizando-se as facilidades multiplataforma da linguagem Java. Alm de facilitar a visualizao do autmato, pretende-se que a interface em Java implemente operaes sobre caminhos do curso, como remoo e insero de estados no autmato, bem como composio de autmatos com ou sem identificao de partes. Tais operaes, construdas formalmente sobre o fecho reflexivo transitivo [17,27] do autmato a nvel de transies, sero coerentemente definidas por construes categoriais [2,27], a fim de manter consistente os autmatos. O uso de categorias deve-se ao fato do alto poder de expressividade de suas construes, que permitem definir operaes de alto nvel como as mencionadas na seo3.2 acima. Os mdulos CGI em Perl so responsveis pela edio dos autmatos e controle da navegao atravs do curso. Estes scripts so encarregados da manuteno da base de dados dos autmatos (definio do alfabeto de entrada, cadastramento dos documentos HTML, definio das transies entre os estados) e do acesso hiperbase, realizando a concatenao de vrios documentos HTML em uma nica pgina no navegador do usurio. 5.Site de Linguagens Formais: um exemplo A educao baseada na Web, neste site implementada como suporte ao ensino presencial, utiliza a rede como meio para a publicao do material didtico, simuladores

interativos, apresentao de tutoriais e trabalhos de alunos, aplicao de exerccios e provas, bem como ferramentas de comunicao para os estudantes. O estudo da utilizao de autmatos para a definio de cursos est sendo realizada sobre um site voltado para o ensino de Informtica Terica (ver Figura4). O site prov material instrucional para cursos de Teoria da Computao, Linguagens Formais e Teoria das Categorias, baseado em notas de aula e em livros j publicados [7,17] por professores do Instituto de Informtica da UFRGS. O site tambm inclui ferramentas automatizadas que facilitam a comunicao entre alunos e professores, como quadro de avisos e listas de discusso.

Figura4 Site da disciplina de Linguagens Formais

6.Trabalhos Relacionados O propsito deste trabalho estudar um mecanismo bsico para a estruturao de um sistema hipertexto. Para tal, foi apresentado o formalismo de autmatos finitos como suporte aos conceitos de nodos e links de um hipertexto [23]. Nossa meta difere dos trabalhos apresentados a seguir no sentido que estamos interessados na definio de um formalismo bsico sobre o qual construmos um sistema de gerncia de cursos na Web, enquanto os demais trabalhos esto direcionados para modelos formais no estudo da semntica de sistemas hipertexto [33]. No trabalho [22], os autores formalizam sistemas de hipertexto como mquinas abstratas. Os autores apresentam trs classes de sistemas modelados como autmatos finitos, autmatos com pilha e mquina de Turing. O estudo est centralizado nos diferentes mecanismos de links hipertexto. Uma discusso sobre o uso de links como parte de documentos (por exemplo em HTML) ou armazenados de forma separada dos documentos encontrado em [5]. Os autores descrevem os benefcios e problemas advindos da utilizao de uma soluo ou outra.

Outros trabalhos so complementares viso apresentada neste texto. Em especial [31] formaliza hipertextos como grafos e o trabalho [30] define um "link-automaton" como uma mquina abstrata sobre a qual podem ser provadas vrias propriedades sobre um dado hipertexto. Alm de autmatos, a especificao de um sistema hipertexto tambm pode ser representado por Redes de Petri (o modelo Trellis [8] um exemplo). Embora Redes de Petri seja um formalismo mais poderoso que um autmato finito, a implementao do ltimo requer menos complexidade e portanto foi escolhida como base para o sistema aqui apresentado. O autmato finito tambm pode ser utilizado como uma representao mais natural para a metfora de "livro", comumente utilizada na implementao de material instrucional em hipertexto pela maioria dos sistemas de autoria multimdia. 7.Concluso Este trabalho apresentou uma alternativa para o apoio criao de cursos na Web, visando fornecer maior flexibilidade e facilidades a professores e alunos. A soluo suportada por uma arquitetura cliente-servidor multicamada baseada em um modelo de cursos para a Web definida sobre o formalismo de Autmatos Finitos com Sada. importante salientar que embora o modelo proposto esteja baseado em sistemas CAI (Computer Assisted Instruction) ou Instruo Assistida por Computador, ele visa fornecer apoio ao processo de ensino/aprendizagem independente de uma teoria pedaggica especfica. O modelo apresentado leva a um alto grau de modularizao do material educacional, apresentando as seguintes vantagens: facilidade de reuso de pginas em diversos cursos, com eliminao da redundncia; independncia dos hiperdocumentos da estrutura do autmato, cuja alterao no influi nas pginas e vice-versa; facilidade de implementao e manuteno; interface grfica simples e direta; elaborao de seqncias instrucionais com enfoques especficos e capaz de oferecer estudo individualizado. Os cursos foram modelados sob trs enfoques: Mquina de Mealy, Mquina de Moore e um autmato onde cada estado constitudo por uma nica pgina. Acredita-se que este esforo empregado na criao de ferramentas para o suporte disponibilizao de cursos na Web utilizando uma estrutura padro fornecer aos profissionais do ensino universitrio (em especial da rea de Informtica Terica) meios de oferecer aos estudantes um ambiente consistente e integrado aos diversos centros de pesquisa do Brasil, atravs do compartilhamento e reuso de material hipermdia desenvolvido para a rede. 8.Referncias [1] Heimo H. Adelsberger, Frank X. Krner, Jan M. Pawlowski. A Conceptual Model for an Integrated Design of Computer Supported Learning Environments and Workflow Management Systems. In Proceedings of the XV IFIP World Computer Congress Teleteaching 98. Vienna, 1998. p.55-64. [2] Michael Barr, Charles Wells. Category Theory for Computing Science. Prentice Hall. USA, 1990. [3] Thierry Beltran. Hypermedia and Computer Aided Instruction (CAI): an Architecture for Hybrid Systems. In Proceedings of the CALISCE91. Lausanne, September 1991. p.167176.

[4] Christopher M. Boroni, Frances W. Goosey, et al. A Paradigm Shift! The Internet, the Web, Browsers, Java and the Future of Computer Science Education. In SIGCSE Bulletin, March 1998, v.30, n.1, p.145-152. [5] P. J. Brown, H. Brown. Embedded or Separate Hypertext Markup: is it an issue? In Electronic Publishing, 1995, n.8, p.1-13. [6] F. Casati, B. Pernici. The Design of Distance Education Applications Based on the WWW. http://www.epcc.ed.ac.uk/t+lwkshp/submissions/barbara/ [7] Tiaraj A. Diverio, Paulo F. B. Menezes. Teoria da Computao: Mquinas Universais e Computabilidade. Editora Sagra-Luzzatto. Brasil, 1999. [8] R. Furuta, P. D. Stots. Programmable Browsing Semantics in Trellis. In Proceeding of the Hypertext89, 1989, p.27-42. [9] Brian R. Gaines, Mildred L. G. Shaw. Concept Maps as Hypermedia Components. 1996. http://ksi.cpsc.ucalgary.ca/articles/ConceptMaps/ [10] F. Garzotto, D. Schwabe, P. Paolini. HDM: A Model Based Approach to Hypertext Application Design. In ACM Transactions on Information Systems, January 1993, v.11, n.1, p.1-26. [11] D. Jonassen, R. Marra. Concept Mapping and Other Formalisms as Mindtools for Representing Knowledge. 1993. http://www.icbl.hw.ac.uk/~granum/class/altdocs/dav_alt.htm [12] E. I. Kawasaki, C. T. Fernandes. Modelo para Projeto de Cursos Hipermdia. In Proceedings of the SBIE 96, Simpsio Brasileiro de Informtica na Educao. Brasil, Novembro 1996. p.227-240. [13] Anthony Kelly. Designing Instructional Hypertext for Use in Lecture Note Review: Knowledge Engineering and Preliminary Testing. In Journal of Educational Multimedia and Hypermedia, 1990, v.2, p.149-176. [14] Jlio P. Machado, Paulo F. B. Menezes. Sistemas de Gerenciamento para o Ensino a Distncia. In Proceedings of V Congresso Internacional de Educao a Distncia. So Paulo - Brasil, October 1998. http://www.abed.org.br/artigos2/artigos/24/sgead971.html [15] Jlio P. Machado. Sistemas de Gerenciamento para o Ensino a Distncia. Instituto de Informtica UFRGS. Brasil, January 1999. 80pp. [16] Paulo F. B. Menezes. Reificao de Objetos Concorrentes. Tese de Doutorado. Instituto Superior Tcnico. Universidade Tcnica de Lisboa. Portugal, 1997. 148pp. [17] Paulo F. B. Menezes. Linguagens Formais e Autmatos. Segunda Edio. Editora SagraLuzzatto. Brasil, 1998. [18] Paulo F. B. Menezes, Tiaraj A. Diverio, et al. Desenvolvimento da rea Formal da Computao no Instituto de Informtica da UFRGS. In Proceedings of the I Workshop Brasileiro de Mtodos Formais. Porto Alegre - Brasil, 1998. p.1-12. [19] Paulo F. B. Menezes, A. Sernadas, J. F. Costa. Nonsequential Automata Semantics for a Concurrent Object-Based Language, Revised and Extented Version. In Proceedings of the First USA-Brazil Workshop on Formal Foundations of Software Systems. Rio de Janeiro Brasil, 1998. Electronic Notes in Theoretical Computer Science n.14. http://www.elsevier.nl/locate/entcs/volume1.html [20] Paulo F. B. Menezes. Mathematical Methods in the Computing Institute of UFRGS. In Proceedings of the VII International Conference on Algebraic Methodology and Software Methodology. Brasil, Janeiro 1999. [21] Thiago F. Moesch, Fbio Lutz, Tiaraj M. Diverio, et al. Simuladores de Mquinas Abstratas: ferramentas de apoio ao ensino de informtica terica. In Proceedings of the

SBIE 98, Simpsio Brasileiro de Informtica na Educao. Fortaleza - Brasil, Novembro 1998. [22] Luc Moreau, Wendy Hall. On the Expressiveness of Links in Hypertext Systems. In The Computer Journal, 1998, v.41, n.7, p.459-473. [23] Jacob Nielsen. Hypertext and Hypermedia. San Diego Academic Press. EUA, 1990. [24] Jos Palazzo M. de Oliveira, Mariano Nicolao, Nina Edelweis. Concenptual Workflow Modelling for Remote Courses. In Proceedings of the XV IFIP World Computer Congress - Teleteaching 98. Vienna, 1998. p.789-797. [25] Mariano G. Pimentel. Modelo Orientado a Conceitos (MOC). In Proceedings of the SBIE 98, Simpsio Brasileiro de Informtica na Educao. Fortaleza - Brasil, Novembro 1998. [26] Miguel R. Flores Santibaez, Clovis T. Fernandes. SICH - Uma Ferramenta para a Construo de Cursos Hipermdia no WWW. In Proceedings of the SBIE 98, Simpsio Brasileiro de Informtica na Educao. Fortaleza - Brasil, Novembro 1998. [27] G. Winskel. Petri Nets, Algebras, Morphisms and Compositionality. Information and Computation 72, Academic Press, 1987, p.197-238. [28] Daniel Schwabe, Gustavo Rossi. Introduo aos Sistemas e Autoria Multimdia. In Proceedings of the VI EBAI, Escola Brasileira-Argentina de Informtica. Crdoba, 1993. [29] Perla Seas, Norma Moroni. Un Ambiente Computacional para el Aprendizaje Significativo: Mapas Conceptuales Hipermediales. In Proceedings of the SBIE 97, Simpsio Brasileiro de Informtica na Educao. Brasil, Novembro 1997. p.469-483. [30] P. David Stotts, R. Furuta, C. Ruiz Cabarrus. Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. In ACM Transactions on Information Systems, January 1998, v.16, n.1, p.1-30. [31] F. W. M. Tompa. A Data Model for Flexible Hypertext Database Systems. In ACM Transactions on Information Systems, 1989, n.7, p.85-100. [32] J. Vassileva. Dynamic Course Generation on the WWW. In Proceedings of the Artificial Inteligence in Education. Kobe - Japo, 1997, p.498-505. [33] Weigang Wang, Roy Rada. Structured Hypertext with Domain Semantics. In ACM Transactions on Information Systems, October 1998, v.16, n.4, p.372-412. [34] Taisy Weber, Raul F. Weber, Ingrid J. Prto, Flvio Wagner, Paulo F. B. Menezes. Uma Experincia com Hiperdocumentos e Internet no Suporte a Disciplinas de Computao. In Proceedings of the VI Workshop sobre Educao em Informtica, Anais do XVIII Congresso da Sociedade Brasileira de Computao. Belo Horizonte - Brasil, Agosto 1998. v.1, p.532-545. [35] J. E. Hopcroft, J. D. Ulmann. Introduction to Automata Theory, Languages and Computation. Addison-Welsey, 1979. [36] P. Blauth Menezes, Jlio P. Machado. Web Courses are Automata: a Categorial Framework. II Workshop de Mtodos Formais. Santa Catarina, 1999. (submetido)