Modulo de 'Definições Formais'
do Prototipo:
Toda a estrutura de dados e conhecimentos do prototipo IMS assenta num modelo formal consistente
em foco:
Definição 'top-down' dos elementos constitutivos do modelo IMS