next up previous contents
Next: Jazyk termů GCCS Up: Přehled syntaxe a sémantiky Previous: Poznámka:

Síť

Síť, jako systém GCCS, topologicky propojuje jednotlivé podsystémy (procesy a další sítě). Síť je n-tice systémů, z nichž každý je reprezentován svým rozhraním určeným množinou portů. Prostřednictvím portů může systém komunikovat (synchronizovat) s ostatními systémy v síti nebo s vnějším prostředím (pokud se jedná o kořenový systém v hierarchii sítí). Každý port je pojmenován podle jména akce, kterou zpřístupňuje. Porty nerozlišují směr komunikace (neobsahují informaci o tom, zda zpřístupňují vstupní či výstupní akci). Tento atribut je pro každou akci určen v definici příslušného procesu.

  
Figure: Grafická reprezentace sítě GCCS

Koordinační vztahy mezi systémy jsou vyjádřeny napojením portů jejich rozhraní na tzv. sběrnice pomocí spojů. Sběrnice mohou být pojmenovány stejným způsobem jako porty. Napojení portu na pojmenovanou sběrnici má význam přejmenování jména portu na jméno této sběrnice. Z každého portu lze vést nejvýše jeden spoj. Příklad přejmenování je vidět na obrázku gif na straně gif, kde porty a jsou přejmenovány na collect. To má za následek, že akce (resp. ) a (resp. ) jsou na dané úrovni abstrakce (popsané sítí na obrázku gif) viditelné pod společným jménem collect (resp. 'collect).

Počet spojů propojujících porty různých systémů v síti se sběrnicí není omezen. To znamená, že několik systémů může být propojeno jednou sběrnicí. Komunikace se však mohou účastnit vždy pouze dva různé systémy, jejichž porty zpřístupňují komunikační dvojici akcí (vstupní a výstupní akce).

Komunikace ve smyslu GCCS je synchronizace mezi dvěma partnery (tzv. handshake). Propojení systémů přes nepojmenovanou sběrnici (tzv. vnitřní sběrnice) vynucuje synchronizaci (tj. systém sender z obrázku gif může synchronizovat v daném okamžiku vždy s jedním z procesů , ). Napojení portů dvou systémů spoji na pojmenovanou sběrnici znamená buď synchronizaci nebo přejmenování obou portů na jméno sběrnice. Tímto lze přesměrovat komunikační akci na port systému, jenž se nachází o jednu úroveň výš v hierarchii sítí (viz příklad s akcí z obrázku gif). 

Síť znázorňujeme pomocí upraveného diagramu toku dat. Rozhraní každého systému v síti je reprezentováno obdélníkem, na jehož hranici jsou umístěny symboly portů - černě vyplněné kružnice. Sběrnici znázorňujeme jako půlkruh. Spoje jsou přirozeně znázorněny jako spojnice portů se sběrnicemi. Příklad grafického znázornění sítě ukazuje obrázek gif.


next up previous contents
Next: Jazyk termů GCCS Up: Přehled syntaxe a sémantiky Previous: Poznámka:

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