Kdyby graf hierarchie systému GCCS neobsahoval systémy typu proces (uzly z nichž nelze vést hranu), jeho významem podle dále uvedené sémantiky by byl prázdný přechodový systém. Termy typu síť modelují komunikační infrastrukturu systému, zatímco termy typu proces definují vlastní chování systému (dané přechodovým systémem odpovídajícím přechodovému grafu).
Podle definice termů GCCS je graf hierarchie konečně větvící se. Může však obsahovat cykly. Jak je vidět z obrázku , cykly v grafu hierarchie znamenají rekurzi paralelní kompozice (ve smyslu algebry procesů). Jak uvidíme dále ze sémantiky, významem systému GCCS obsahujícího cykly v hierarchii bude nekonečně stavový přechodový systém (pokud jsou definovány v této hierarchii procesy).
Figure: Příklad systému s opakovaným použitím procesu buffer
Jak ukazují obrázky a
, některý systém může být podsystémem několika různých sítí v hierarchii specifikovaného systému. To umožňuje znovupoužití již specifikovaných/navržených komponent (modulů) v rámci specifikace/návrhu systému.
Figure: Graf hierarchie systému s opakovaným použitím podsystému
Budeme definovat tzv. dobře definovaný systém zajišťující takovou strukturu systému GCCS, v níž požadujeme neexistenci nekorektních portů rozhraní v libovolné síti v hierarchii. Nekorektním portem rozumíme port na rozhraní podsystému, v němž se nevyskytuje akce odpovídajícího jména. Tj. je-li daný podsystém proces - neexistuje v něm odpovídající akce, je-li daný podsystém síť - neexistuje na rozhraní žádného z jejích podsystémů volný port (viz násl. definice) nebo pojmenovaná sběrnice stejného jména.
Kdybychom připustili existenci těchto nekorektních portů, nemohli bychom pro systémy GCCS obsahující tyto porty definovat sémantiku, neboť by zejména nebyla definována odpovídající akce l příslušná nekorektnímu portu port(l).