Este selector mapea a especificação corrente para requisitos relevantes, de acordo com a semântica seguinte:

"Especificação X é uma descrição da solução funcional e/ou técnica que realiza o requisito Y"

Aqui a selecção é múltipla: Uma especificação sem detalhes pode realizar um conjunto completo de requisitos. Por exemplo, especificar a existência de uma unidade de autenticação pode induzir as seguintes realizações:

  1. necessidade de identificação do utilizador;
  2. autenticação com utilizador/senha;
  3. definição de abstracção de papéis.

Por outro lado, um conjunto de especificações detalhadas pode ser necessário para descrever um requisito com menos detalhes.