Define uma técnica para especificação de sistemas separando-os em duas visões: a da funcionalidade (plataforma independente) e a da implementação (plataforma específica)