Ze specifikačních jazyků blízkých Statecharts zmíníme jazyk Argos [] pro hierarchickou specifikaci deterministických reaktivních systémů, který je podporován verifikačním nástrojem a grafickým editorem Argonaute []. Sémantika jazyka je definována prostřednictvím přechodových systémů s návěštími. Tato sémantika splňuje hypotézu synchronnosti, ale není kompoziční. Jazyk Argos tedy není modulární. Přehledný popis rozsáhlých systémů je prakticky nemožný.
V [] je zavedena jednodušší varianta Statecharts zvaná Mini-Statecharts, vycházející z principů jazyka Argos. Formální sémantika Mini-Statecharts je kompoziční, Mini-Statecharts tedy podporují modulární návrh. K dispozici je jednoduchý editor a simulátor Mini-Statecharts []. Mini-Statecharts jsou vhodné jen k popisu malé podmnožiny reaktivních systémů.
Další variantou Statecharts je jazyk SyncCharts [] rovněž určený pro hierarchický popis reaktivních systémů, vhodný zejména pro popis výrobních a řídících systémů (jeho sémantika splňuje hypotézu synchronnosti). Vychází z principů textového synchronního jazyka Esterel [], do kterého lze grafický zápis SyncCharts převádět. SyncCharts nepodporují modularitu, ale jsou na rozdíl od jazyka Argos dále rozvíjeny.
V nástroji UPPAAL [] je ke specifikaci systémů reálného času používáno formalismu, jenž rovněž vychází ze stavových diagramů. Jedná se o grafický popis synchronizujících časových automatů. Jazyk nepodporuje hierarchii.
Uvedli jsme některé zajímavé a používané grafické jazyky vycházející ze stavových diagramů. Tato sekce si neklade za cíl podat úplný výčet všech existujících jazyků..