next up previous contents
Next: Příklad použití editoru Up: Návrh a implementace grafického Previous: Dovětek k implementaci

Porovnání s existujícími nástroji

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 gif), 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.



David Safranek
Fri Apr 6 23:53:25 MET DST 2001