next up previous contents
Next: Shrnutí Up: Operační sémantika GCCS Previous: Operační sémantika GCCS

Označení:

Necht je síť.

Doménou strukturní operační sémantiky GCCS je přechodový systém s návěštími. Sémantika je definována pomocí pěti pravidel postupně rozšiřujících přechody procesů na přechody sítí na vyšší úrovni abstrakce:

  1. Sémantika procesu:

    Pomocí tohoto pravidla se přechody uvnitř procesu rozšiřují na přechody celého systému.
  2. Následující pravidla definují sémantiku sítě:

    Rozšíření vnitřní akce systému na vnitřní akci sítě.


  3. Toto pravidlo rozšiřuje vstupní nebo výstupní akci l systému S na akci mateřské sítě , pokud pro akci l existuje port na rozhraní systému S a tento port není napojen na žádnou sběrnici (jedná se tedy o volný port).
  4. Sémantika přejmenování:

    Jedná se o rozšíření akce systému S na akci mateřské sítě podobně jako v předchozím pravidle s tím rozdílem, že port příslušný akci musí být napojen na sběrnici , tj. na úrovni mateřské sítě je akce pozorovatelná pod jménem . Navíc je třeba si uvědomit, že sběrnice nemůže být v tomto případě vnitřní (dle definice funkce port).
  5. Poslední pravidlo definuje sémantiku synchronizace:

    Dva různé systémy v rámci mateřské sítě propojené přes sběrnici b mohou synchronizovat, pokud jedna z partnerské dvojice akcí reprezentovaných propojenými porty je vstupní a druhá výstupní. Synchronizace je na úrovni mateřské sítě nepozorovatelná (jedná se o vnitřní akci ).

Z pravidel (4) a (5) výše uvedené sémantiky vyplývá rozdílný význam pojmenovaných a nepojmenovaných (vnitřních) sběrnic, jak jsme již zmínili na straně gif při popisu sítě GCCS.

Uvedli jsme operační sémantiku GCCS, která umožňuje kompilaci systémů GCCS do přechodových systémů s návěštími. Tato sémantika je kompoziční, respektuje vlastnosti modularity a hierarchie systémů GCCS.


next up previous contents
Next: Shrnutí Up: Operační sémantika GCCS Previous: Operační sémantika GCCS

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