Uvedli jsme přehled hlavních principů grafické specifikace souběžných systémů různých tříd. Z uvedeného vyplývá, že pro každou z těchto tříd systémů existuje řada grafických formalizmů se syntaxí a sémantikou vhodnou pro hierarchický popis. Nemnoho formalizmů podporuje modularitu, která je zejména pro specifikaci a návrh rozsáhlých systémů důležitou vlastností.
V případě reaktivních systémů a systémů reálného času byly pro některé grafické jazyky vyvinuty kompoziční sémantiky. Ikdyž tyto sémantiky obecně omezují často velmi rozsáhlý slovník grafických vyjadřovacích prostředků těchto jazyků, umožňují modulární specifikaci. Podpora praktických editačních a verifikačních nástrojů pro tyto modifikace jazyků je zatím nedostatečná. Otázkou je do jaké míry je rozsáhlost syntaxe, kterou disponují zejména Statecharts, nutná. Určitým vhodným kompromisem se zdá být jazyk GCSR.
Přístup koordinačních modelů je vhodný pro popis systémů, v nichž je klíčové přehledné vyjádření vztahů mezi jednotlivými komponentami. Formálních grafických koordinačních jazyků existuje zatím malé množství. Jediným známým grafickým koordinačním jazykem s precizně definovanou formální sémantikou je GCCS. V implementační části této práce se snažíme přispět jeho využití pro specifikaci a verifikaci souběžných systémů.
Vlastnosti uvedených grafických formalizmů shrnuje tabulka 
.
Table: Shrnutí uvedených grafických formalizmů
Vysvětlení zkratek: [1mm] LTS přechodové systémy s návěštímir.č. systémy reálného času
reakt. reaktivní systémy
distr. distribuované systémy
(ds) denotační sémantika
(os) operační sémantika
(nf) sémantika není formální