Uma língua, muitas vezes uma combinação máquina-processable de linguagem natural e formal, usado para especificar os requisitos, design, comportamento ou outras características de um sistema ou componente do sistema.