FRLIČKA, E. Generování kódu z modelů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Student od počátku koncipoval řešení tak, aby bylo efektivní z pohledu běhu, ale i změn a možnosti definovat nové vlastnosti při dalším rozvoji. Navržený a realizovaný přístup k řešení považuji za dobrý, bohužel student zjevně podcenil množství práce a špatně pracoval s časem. V období květen a červen byla konzultační aktivita studenta nulová. Text byl připravován na poslední chvíli, výsledné řešení je funkční, byť neobsahuje všechny původně zamýšlené prvky. Z pohledu vedoucího proto hodnotím stupněm dostatečně.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Cílem práce bylo vytvořit nástroj pro transformaci modelů popsaných Petriho sítí do programovacícho jazyka C++. Student se musel věnovat nejen problematice generování kódu, ale i interpretace komplexního systému objektů Petriho sítí. Student navazoval na již existující řešení, které nebylo plnohodnotné a nevyhovovalo požadovaným nárokům. Tímto řešením se student mohl inspirovat, případně jej dopracovat. Zadání považuji za náročnější. | ||
| Práce s literaturou | Kromě doporučené literatury si student další zdroje vyhledával sám. | ||
| Aktivita během řešení, konzultace, komunikace | Zpočátku byla aktivita dobrá, byť práce nepostupovaly dostatečným tempem. V období květen a červen byla konzultační aktivita studenta nulová, konzultace začaly probíhat až v červenci. Při konzultacích se student orientoval v problematice a řešily se věcné problémy. | ||
| Aktivita při dokončování | Student se zaměřil především na dokončení implementace, na technické zprávě začal pracovat velmi pozdě. Několik dní před odevzdáním jsem viděl pouze její základ, konečnou podobu již nebylo možné z časových důvodů konzultovat. | ||
| Publikační činnost, ocenění | Vytvořený software je zveřejněný formou open-source. |
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | |||
| Rozsah splnění požadavků zadání | Výhrady se týkají především technické zprávy. | ||
| Rozsah technické zprávy | 32 stran v LateXu. | ||
| Prezentační úroveň technické zprávy | 50 | Prezentační úroveň není dobrá. Teoretický úvod pokrývá pouze část řešené problematiky, zabývá se detailně pouze syntaxí inskripčního jazyka Petriho sítí. Zpracovávaná varianta Petriho sítí a její sémantika je poněkud nelogicky popsána až v kapitole 5 Generování kódu. Tamtéž jsou i informace, patřící do kapitoly Návrh, která je tím pádem zbytečně stručná. Podobně i v kapitole Překladač jsou informace, které by měly být v kapitole Návrh. Čtenář se sice nakonec podstatné informace o návrhu i implementaci dozví, ale v podivném pořadí. Kapitola Testování má pouze jednu stranu. Tomuto aspektu práce zjevně nebyla věnovaná taková pozornost, jakou by si zasloužil. | |
| Formální úprava technické zprávy | 70 | Kromě řady překlepů k formální stránce práce nemám zásadní výhrady. | |
| Práce s literaturou | 50 | Autor cituje pouze 3 položky. To také odpovídá skutečnosti, že se nezabývá porovnáním s jinými přístupy, ani z nich nevychází, pracuje pouze s orginální specifikací jazyka PNtalk. | |
| Realizační výstup | 60 | Realizačním výstupem je překladač PNtalku do C++, který implementuje provádění přechodů samostatnými vlákny. Funkčnost realizačního výstupu je demonstrována na příkladu Ackermannovy funkce. Tím je v hrubých rysech prokázáno, že funguje rekurzivní instanciace sítí metod, předávání parametrů a základní funkcionalita vysokoúrovňových Petriho sítí, ale očekával bych podstatně více menších testů, prokazujících korektnost generování kódu pro jednotlivé aspekty jazyka PNtalk. Případně i ukázku generování kódu pro několik jiných netriviálních příkladů. Bez toho je důvěra ve vytvořené dílo omezená. | |
| Využitelnost výsledků | Realizační výstup může být dále využit jako základ pro další vývoj generátoru kódu pro PNtalk. |
eVSKP id 144765