next up previous contents
Next: Porovnání s existujícími nástroji Up: Návrh a implementace grafického Previous: Poznámka:

Dovětek k implementaci

Z hlediska použitelnosti implementovaného editoru je klíčovým prvkem jeho jednoduché ovládání, tedy uživatelské rozhraní. Vhodnost implementovaného řešení uživatelského rozhraní ukáže praktická specifikace systémů pomocí tohoto editoru.

Implementovaná aplikace podporuje hierarchický a modulární návrh souběžných systémů. Praktické využití je v daném stavu projektu vázáno na nástroj CWB-NC, do jehož syntaxe CCS jsou grafické specifikace exportovány. Jelikož implementovaný algoritmus transformace do CCS produkuje CCS systém, který je sémanticky ekvivalentní grafické specifikaci v GCCS vzhledem k sémantice GCCS reprezentované přechodovým systémem s návěštími, bude možné při případném rozšíření editoru o grafický popis procesů GCCS implementovat grafickou simulaci běhů systému pomocí této sémantiky. K verifikaci bude možné přitom používat nástroje CWB.

Praktické použití implementovaného editoru je demonstrováno v následující kapitole.



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