Com o projecto GAMA-X pretende-se, desenvolvendo as ideias inicialmente abordadas no projecto GAMA [MCCM90], complementar a linguagem de especificação CAMILA [BA91] e o método de refinamento a ela associado, com um UIMS que permita especificar e gerar interfaces, em Modo Assistido, tanto para os protótipos (os textos CAMILA são compilados para XMetoo [Gro90] para posterior execução) como para as aplicações finais resultantes do processo de refinamento da especificação. O sistema pode ser dividido numa componente de geração semi-automática (o Módulo de Geração de Interfaces - MGI), responsável pela geração e manutenção da especifição da interface, e por uma componente de runtime (o Módulo de Interacção com o Utilizador - MIU) que animará a interface a partir das especificações produzidas pela primeira, gerindo todos os aspectos do diálogo entre o Utilizador e a Componente Computacional do Sistema Interactivo.
Neste capítulo é apresentada a arquitectura geral do sistema GAMA-X, propondo-se notações para a especificação de cada um dos componentes do MIU.