next up previous contents
Next: Podpora metodologií návrhu Up: Navrhované řešení Previous: Grafická část

Hierarchická struktura a zajištění konzistence

Hierarchická struktura editovaných systémů je vytvářena propojením rozhraní určité sítě se sítí pojmenovanou stejně jako toto rozhraní. Propojení je možné provést pouze tehdy, nedojde-li k porušení konzistence hierarchické struktury, tj. zejména dobré definovanosti systému GCCS (viz kapitola gif), jednoznačnosti jmen portů v rámci rozhraní a jednoznačnosti jmen sítí v rámci projektu.

Při editaci sítí, které jsou propojeny do hierarchie, je inkrementálně zajišťována konzistence. Před každým provedením uživatelem požadované editační operace mající za následek změnu editované sítě je ověřeno, zda nebude porušena konzistence systému GCCS, jehož je editovaná síť součástí. Nekonzistentní operace nejsou povoleny. Podmínky zachování konzistence pro jednotlivé grafické elementy a operace jsou uvedeny v tabulce gif.

  
Table: Podmínky zachování konzistence systému GCCS při editaci



-1



1

Zajištění konzistence garantuje syntaktickou korektnost CCS výrazů získaných transformací koordinační části (sítí) editovaných systémů GCCS.

Jelikož neimplementujeme grafický editor procesů GCCS, spojíme s každým rozhraním možnost textové editace procesů přímo v jazyce CCS. Pokud není rozhraní propojeno s podsítí, použije se tento kód při transformaci do CCS jako podsystém tohoto rozhraní. Syntaktickou správnost výsledného CCS výrazu však bude ověřena až při načtení do cílového verifikačního nástroje.



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