Un lenguaje personalizado que apunta a un dominio de problema y define el problema en un alto nivel de abstracción.