Uvedli jsme definici jazyka GCCS dle [], v níž jsme provedli modifikace pro potřeby transformace do CCS rozebrané v následující kapitole, a ukázali jsme vliv struktury GCCS systému na jeho konečně stavovost. Na úrovni procesů jsme přizpůsobili definici termů GCCS potřebám jejich grafické reprezentace pomocí přechodových grafů (v nichž nemusí být nutně definován počáteční stav).
Zavedli jsme pojem grafu hierarchie, který formalizuje hierarchickou strukturu sítí GCCS a pojem dobře definovaného systému, který zajišťuje konzistenci grafické syntaxe GCCS. Součástí implementovaného editoru GCCS je inkrementální zajištění konzistence specifikovaných systémů (v průběhu editace).