O Modelo da Aplicação limita-se a definir os tipos Pal e Sig e a associar aos identificadores das operações o respectivo símbolo.
Também neste caso é ainda necessário especificar o Modelo da Aplicação directamente em NYAGSL. Nos Apêndices D e G é apresentada a especificação utilizando a notação apresentada na secção 7.4 e em NYAGSL, respectivamente.