První pokus o implementaci grafického editoru pro jazyk GCCS [] byl uskutečněn neobjektově v jazyce C, program však není samostatně dostupný. Byl integrován do verifikačního nástroje Concurrency Factory [], jehož vývoj byl z důvodu nevhodně navrženého uživatelského prostředí, nestabilitě a nepřenositelnosti programu v nedokončeném stavu zastaven.
V této práci jsme pro implementaci grafického editoru jazyka GCCS zvolili objektový přístup a jazyk C++, navrhli a implementovali uživatelské rozhraní s použitím vhodné knihovny Qt, která zajišťuje přenositelnost editoru na různé operační platformy. Námi implementovaný editor disponuje možností kombinovat grafickou specifikaci s textovou (pomocí CCS). Zvolený objektový přístup k implementaci programu tohoto typu se ukázal vhodným, program je zejména snadno rozšiřitelný.
Implementovaný editor jako jediný ze známých dostupných nástrojů poskytuje možnost transformace grafických specifikací do kalkulu CCS. Vzhledem k ostatním funkcím lze implementovaný editor přirovnat k nástroji Auto/Graph (viz kapitola ), ten ale nedisponuje inkrementálním algoritmem zajištění konzistence grafických specifikací. Na rozdíl od tohoto nástroje zahrnuje námi implementovaný editor příjemnější a jedodušší uživatelské rozhraní. Naopak součástí Auto/Graph je podpora grafické specifikace sekvenčních částí specifikovaného systému, kterou jsme vzhledem k rozsahu (230kB zdrojových souborů) již neimplementovali. Sekvenční části systému (ve smyslu procesů GCCS) je nutno definovat textovým popisem v CCS. K tomuto účelu jsme do programu integrovali jednoduchý textový editor.