Hierarchická struktura editovaných systémů je vytvářena propojením rozhraní určité sítě se sítí pojmenovanou stejně jako toto rozhraní. Propojení je možné provést pouze tehdy, nedojde-li k porušení konzistence hierarchické struktury, tj. zejména dobré definovanosti systému GCCS (viz kapitola ), jednoznačnosti jmen portů v rámci rozhraní a jednoznačnosti jmen sítí v rámci projektu.
Při editaci sítí, které jsou propojeny do hierarchie, je inkrementálně zajišťována konzistence. Před každým provedením uživatelem požadované editační operace mající za následek změnu editované sítě je ověřeno, zda nebude porušena konzistence systému GCCS, jehož je editovaná síť součástí. Nekonzistentní operace nejsou povoleny. Podmínky zachování konzistence pro jednotlivé grafické elementy a operace jsou uvedeny v tabulce .
Table: Podmínky zachování konzistence systému GCCS při editaci
-1
1
Zajištění konzistence garantuje syntaktickou korektnost CCS výrazů získaných transformací koordinační části (sítí) editovaných systémů GCCS.
Jelikož neimplementujeme grafický editor procesů GCCS, spojíme s každým rozhraním možnost textové editace procesů přímo v jazyce CCS. Pokud není rozhraní propojeno s podsítí, použije se tento kód při transformaci do CCS jako podsystém tohoto rozhraní. Syntaktickou správnost výsledného CCS výrazu však bude ověřena až při načtení do cílového verifikačního nástroje.