O modelo lógico, em engenharia de requisitos, é responsável por realizar o tratamento de características dependentes de um determinado tipo de plataforma computacional, porém independente de produtos específicos.