Język, często maszyny przetwarzalnej połączenie języka naturalnego i formalne, pozwala określić wymagania, projektowanie, zachowanie lub inne cechy systemu lub składnik systemu.