Specifikační jazyky se používají ve fázích specifikace, analýzy a návrhu systémů. Na rozdíl od programovacích jazyků se klade důraz na popisný charakter. Specifikačním jazykem nemusíme popisovat úplné chování systému, ale jeho vhodnou abstrakci.
Syntax grafických specifikačních jazyků sestává z rovinných geometrických útvarů reprezentujících určité entity systémů. Vztahy mezi entitami jsou vyjádřeny vzájemným propojením a umístěním jednotlivých prvků syntaxe vzhledem k ostatním. Kompletní popis systému však nelze celý vyjádřit graficky (např. datové typy, hodnoty předávané při komunikaci, atd.). Grafické specifikační jazyky proto vhodně kombinují grafickou syntax s textovými popisnými prvky.