next up previous contents
Next: Příklad specifikace systému Up: Jazyk GCCS Previous: Jazyk GCCS

Přehled základních vlastností

Jazyk GCCS je koordinační jazyk vycházející z principů algebry procesů CCS. Souběžný systém je v GCCS specifikován prostřednictvím hierarchie sítí procesů (viz obrázek gif) komunikujících přes komunikační kanály. Relevantním modelem komunikace je synchronizace. Při synchronizaci nedochází k předávání hodnot.

  
Figure: Hierarchická struktura GCCS

Tento zdánlivý nedostatek má ryze technický charakter, jenž nemá vliv na sílu jazyka. Podobně jako do CCS, lze zavést i do GCCS makra umožňující specifikaci systémů s předáváním hodnot. To lze řešit zavedením typového systému pro otypování parametrů komunikačních akcí a kanálů.

Hlavním přínosem využití principů algebry procesů pro definici koordinačního jazyka je podpora abstrakce a modularity prostřednictvím hierarchické struktury komponent a existence formální sémantiky respektující tuto strukturu (strukturní operační sémantika definovaná na přechodových systémech s návěštími). To představuje určitou univerzálnost GCCS, jež umožňuje principiálně integrovat libovolný programovací či specifikační jazyk, který je sémanticky kompatibilnígif s operační sémantikou GCCS, do výsledného koordinačního modelu.

Výše uvedené vlastnosti umožňují hierarchický návrh souběžných systémů metodami shora-dolů a zdola-nahoru (top-down a bottom-up design). Na rozdíl od koordinačních jazyků, které jsou přímo programovacími jazyky pro implementaci souběžných systémů (např. Objective Linda [], JavaSpaces [],...), je GCCS jazyk určený pro specifikaci a návrh systémů.





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