O domínio de uma aplicação, durante a identificação de requisitos,
utiliza um modelo de classes independente da plataforma ao qual se destina,
abstraindo boa parte da especificação de um sistema sem uma verificação
formal, seja sintática ou semântica. Este artigo propõe uma arquitetura para
utilização de ontologia na construção de modelos MDA, formalizando seus
conceitos e reduzindo o tempo de manutenções em modelos durante a sua
especificação para um determinado domínio.