Specifikace problému

 

Požadavky na navrhovaný a implementovaný grafický editor jazyka GCCS jsou následující:

1. podpora hierarchické a modulární grafické specifikace a návrhu systémů v jazyce GCCS metodami shora-dolů a zdola-nahoru
2. inkrementální kontrola syntaxe a konzistence editovaných systémů GCCS
3. transformace těchto systémů do jazyka CCS se syntaxí akceptovanou nástrojem The Concurrency Workbench of New Century [] (dále jen CWB-NC)
4. uživatelské rozhraní odpovídající zažitým zvyklostem

Program CWB-NC byl zvolen jako nástroj pro cílovou verifikaci systémů specifikovaných pomocí navrhovaného editoru z toho důvodu, že na rozdíl od The Edinburgh Concurrency Workbench je v době psaní této práce dále rozvíjen. Drobnou úpravou transformačního algoritmu je možné grafický editor rozšířit i o podporu tohoto nástroje.

Vzhledem ke složitosti a rozsáhlosti grafického editoru se zaměříme především na koordinační část jazyka GCCS, tedy na grafickou specifikaci sítí. Navrhovaný editor by měl sloužit jako podpůrný nástroj ve fázi specifikace a návrhu souběžných systémů. Podle získaných zkušeností s používáním editoru bude možné v případné navazující práci program rozšířit o podporu grafické specifikace procesů GCCS (s implementací algoritmu transformace procesů GCCS do CCS uvedeného v předchozí kapitole).