[DUS | Prednáška] 9 - Workflow siete a problém uviaznutia 2

Zhrnutie prednášky

Prednáška nadväzuje na tému workflow sietí a rekapituluje pojmy korektnosti, ohraničenosti a grafu dosiahnuteľnosti pre jednu inštanciu procesu. Následne sa pozornosť presúva na vykonávané (runtime) siete, v ktorých viacero inštancií workflow siete zdieľa spoločné zdroje reprezentované statickými miestami, čo môže viesť k uviaznutiu. Vysvetľuje sa rozdiel medzi zamrznutím (deadlock, kde sa nedá spustiť žiaden prechod) a zaciklením (uviaznutie, kde sa síce niečo spúšťať dá, ale proces sa nikdy nedostane do korektného koncového stavu). Kľúčovou otázkou je, či pre korektnú workflow sieť existuje počet súbežných inštancií, pri ktorom systém uviazne, pričom runtime sieť s konkrétnym počtom inštancií nie je vhodná na všeobecné skúmanie tohto problému kvôli neohraničenému počtu možných inštancií. Prednáška smeruje k návrhu novej štruktúry, ktorá by nerozlišovala jednotlivé inštancie podľa ID, ale pracovala by s počtom dosiahnuteľných značkovaní.

• - Rekapitulácia pojmov korektnosti a ohraničenosti workflow siete a algoritmu na konštrukciu grafu dosiahnuteľnosti
• - Workflow sieť je len návod (recept) na proces, reálne vykonávanie reprezentuje runtime (vykonávaná) sieť
• - Zdieľané zdroje (napr. pamäť, procesor) sa modelujú statickými miestami spoločnými pre všetky inštancie
• - Zamrznutie (deadlock) = uviaznutie, pri ktorom nie je možné spustiť žiadny prechod
• - Zaciklenie = uviaznutie, kde sa niečo dá spúšťať, ale nedosiahne sa korektný koncový stav
• - Otázka: existuje počet súbežných inštancií korektnej siete, pri ktorom nastane uviaznutie?
• - Runtime sieť s konkrétnym (identifikovateľným) počtom inštancií nie je vhodná na všeobecnú analýzu kvôli neohraničenému počtu inštancií
• - Navrhuje sa nová štruktúra založená na počte dosiahnuteľných značkovaní namiesto identifikácie jednotlivých inštancií

Zhrnutie pripravené s pomocou AI z prepisu videa.