Existen muchos lenguajes de especificación con distintas características que permiten representar relación entre los distintos elementos.