[MSUS | Prednáška] 10 - Vývoj jazyka Petriflow

Zhrnutie prednášky

Prednáška sa venuje koncepčnému vývoju jazyka Petriflow, pričom prednášajúci sa zameriava na spôsob uvažovania pri návrhu vlastného modelovacieho jazyka namiesto len výučby jeho syntaxe. Na konkrétnom príklade obmedzenia počtu inštancií procesu (napríklad že študent môže mať len jednu inštanciu procesu) ukazuje, ako sa dá problém vyriešiť improvizáciou pomocou existujúcich konštrukcií jazyka bez nutnosti pridávať nový konštrukt. Diskutuje sa princíp KISS (keep it simple and stupid) a snaha udržať minimálny počet konštrukcií v jazyku. Rozoberá sa rozdiel medzi task a event, najmä otázka atomicity akcií a kde je vhodné zastaviť dekompozíciu na nižšiu úroveň. Prednáška poukazuje na to, že vytváranie inštancie procesu (create case) je v podstate udalosť, ktorá by mala mať definované pred a po akciu (pre/post), podobne ako iné existujúce udalosti v jazyku.

• - Cieľom predmetu je naučiť študentov tvorivo navrhovať vlastný jazyk, nie len memorovať existujúcu syntax.
• - Konkrétny problém: ako obmedziť počet inštancií procesu, ktoré môže vytvoriť jeden užívateľ.
• - Riešenie bez nového konštruktu: vytvorenie inštancie a následné zmazanie predchádzajúcej, prípadne cez count a podmienku pri viacerých inštanciách.
• - Princíp KISS – minimalizácia počtu konštrukcií v jazyku a maximalizácia všeobecnosti abstrakcií.
• - Diskusia o rozdiele medzi task a event – rozhoduje potreba mať vnútorný stav medzi začiatkom a koncom akcie.
• - Otázka atomicity akcií (napr. commit/rollback pri viacerých vstupných miestach) je kľúčovým a náročným problémom, téma dizertačnej práce.
• - Vytvorenie inštancie procesu (create case) sa identifikuje ako event, ktorý zatiaľ chýba formálne implementovaný s pre/post akciami a triggerom v jazyku.

Zhrnutie pripravené s pomocou AI z prepisu videa.