[MSUS | Prednáška] 5 - Akcie a Medziprocesová komunikácia

Zhrnutie prednášky

Prednáška sa venuje medziprocesovej komunikácii a synchronizácii udalostí medzi rôznymi inštanciami procesov v systéme Petriho sietí. Vysvetľuje sa, že každý task (assign, cancel, delegate, finish) predstavuje atomickú udalosť, na ktorú je možné naviazať kus kódu buď pred alebo po jej vykonaní, pričom rozdiel medzi pre a post spočíva v tom, či je token ešte aktívny vo vstupnom mieste, alebo už bol uvoľnený do výstupných miest. Ďalej sa preberá historický vývoj jazyka, ktorý postupne umožnil reagovať nielen na get/set dát, ale aj na ďalšie eventy tasku, a napokon aj vyvolávať udalosti medzi rôznymi inštanciami procesov, čo umožňuje vzťahy podobné cudzím kľúčom v relačných databázach. Na záver sa predstavuje query language pre prácu s inštanciami (case) — metódy find case a find cases, ktoré pomocou closure predikátov s premennou 'it' umožňujú vyhľadávať inštancie podľa hodnôt ich dátových položiek.

• - Tasky (assign, cancel, delegate, finish) sa chápu ako atomické udalosti s podsieťou event-transitions.
• - Kód možno naviazať na udalosť buď pred (token ešte v mieste) alebo po (token už released) jej vykonaním.
• - Rozdiel pre/post umožňuje ošetriť chyby (try-catch) alebo spustiť nasledujúci prechod (robotizácia procesu).
• - Historický vývoj: pôvodne eventy len na get/set dát, neskôr rozšírené na všetky tasky a medziinštančnú komunikáciu.
• - Medziinštančná komunikácia umožňuje vzťahy medzi procesmi podobné cudzím kľúčom v relačných databázach (1:N, N:M).
• - Na vytváranie nových inštancií slúži konštruktor, na vyhľadávanie inštancií (case) query language.
• - Metódy find case a find cases vyhľadávajú inštancie pomocou closure predikátu s premennou 'it' nad datasetom.

Zhrnutie pripravené s pomocou AI z prepisu videa.