Next: Shrnutí
Up: Operační sémantika GCCS
Previous: Operační sémantika GCCS
Necht je síť.
- množina jmen podsystémů sítě .
- Nechť , pak je i-tý podsystém sítě a je jeho rozhraní.
- je množina spojů v .
- Nechť S je systém a . Pak je síť, která vznikla nahrazením i-tého podsystému systémem 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:
- Sémantika procesu:
Pomocí tohoto pravidla se přechody uvnitř procesu rozšiřují na přechody celého systému.
- Následující pravidla definují sémantiku sítě:
Rozšíření vnitřní akce systému na vnitřní akci sítě.
-
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).
- 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).
- 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ě
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: Shrnutí
Up: Operační sémantika GCCS
Previous: Operační sémantika GCCS
David Safranek
Fri Apr 6 23:53:25 MET DST 2001