Specyfikacja języka specjalne konstrukcje i, czasami, weryfikacja protokołów, wykorzystane do opracowania, analizować i udokumentować wymagania sprzętowe lub programowe.