Z hlediska podpory specifikace procesů by bylo vhodné editor rozšířit o editaci přechodových grafů (s implementací algoritmu převodu do CCS navrženého v kapitole 
), případně rozšířit textový editor CCS specifikací o syntaktický analyzátor, jenž by umožnil kontrolovat konzistenci propojení podsystémů specifikovaných v CCS s koordinační částí specifikace reprezentovanou grafickou syntaxí.
Aplikaci lze dále rozšířit dle potřeby verifikace o export do jiných formalizmů, případně o modul grafické simulace s využitím sémantiky GCCS na přechodových systémech s návěštími z kapitoly . Pro usnadnění specifikace zejména komunikačních protokolů je dalším vhodným rozšířením podpora předávání hodnot.
3mm
V případné navazující teoretické práci se lze zabývat opačným směrem vzájemné korespondence GCCS a CCS, a sice vizualizací CCS procesů pomocí transformace do jazyka GCCS.