43- Um modelo criado a partir do formalismo __________ é uma descrição do conhecimento que o usuário deve ter para executar tarefas em um dispositivo ou sistema; é uma representação do conhecimento relacionado ao que fazer que é exigido pelos sistemas quando da execução de tarefas da maneira apropriada.