Contents

• List of Figures
• Introdução
  • Objectivos
  • Estrutura da Tese
• Sistemas Interactivos  
• Especificação Formal de Interfaces  
  • Modelos Cognitivos  
  • Modelos Estruturais
  • Especificação Formal de Diálogos
  • Fechando a Ponte
  • Geração Automática de Sistemas Interactivos
• A Linguagem CAMILA  
• Guiões de Interacção  
  • Tarefas a Especificar
  • Leitura dos Argumentos/Visualização do Resultado  
  • Escolha da Operação
  • Especificação do Comportamento
    • Petri Nets  
    • Guiões de Interacção  
    • A Expressão Mais Simples
    • Sequenciação  
    • Concorrência Síncrona
    • Concorrência Assíncrona
    • Alternativa
    • Repetição
    • Alguns Casos Particulares
    • Comandos
  • Guiões de Interacção e a Linguagem CAMILA  
  • Guiões de Interacção e Tipos de Dados  
  • Guiões de Interacção e Outros Formalismos
    • Ligação à Componente Semântica
    • Expressividade  
    • Ligação à Apresentação  
• Descritores da Apresentação  
• O Sistema GAMA-X  
  • Arquitectura do Módulo de Interacção com o Utilizador
  • Especificação do Controlador de Diálogo  
  • Especificação do Modelo da Apresentação
  • Especificação do Modelo da Aplicação  
  • Arquitectura do GAMA-X
• Implementação do MIU  
  • Perspectiva Global
  • O Controlador de Diálogo
    • Protocolos de Comunicação
    • Animador de Petri Nets
    • O Interpretador de Instruções
    • A Inclusão dos Tipos  
    • Estrutura Geral do Controlador
  • O Modelo da Apresentação  
  • O Modelo da Aplicação
  • Utilização e Exemplos
    • Modelo da Apresentação
    • Controlador de Diálogo
    • Modelo da Aplicação
    • Utilização
  • Versão X11 do Frontend
• Conclusões  
• References
• Especificação CAMILA de um Dicionário
• Guiões de Interacção para o Dicionário
• Descritores de Apresentação para o Dicionário
• Especificação do Modelo da Aplicação para o Dicionário
• Especificação NYAGSL do Controlador de Diálogo para o Dicionário
• Especificação NYAGSL do Modelo da Apresentação para o Dicionário
• Especificação NYAGSL do Modelo da Aplicação para o Dicionário
• Definições Comuns
• Comunicações
  • Modelo da Apresentação - Controlador de Diálogo
  • Controlador de Diálogo - Modelo da Aplicação
  • Modelo da Apresentação - Modelo da Aplicação
• Mensagens
• Controlador de Diálogo
• About this document ...