CIBÁK, M. Generování kódu z modelů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Přístup studenta nemůžu hodnotit jako adekvátní pro řešení bakalářské práce. Při dokončování došlo ke značnému zvýšení úsilí, i tak jsem neměl možnost se z časových důvodů vyjádřit k definitivnímu obsahu práce. Přesto byly realizovány přinejmenším základní prvky generátoru.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Práce navazuje na podobnou práci řešenou v minulosti s cílem vytvořit komplexní nástroj pro transformaci modelů popsaných Petriho sítí do programovacícho jazyka Java tak, aby bylo možné takové modely spouštět pod Java Virtual Machine. Student se musel věnovat nejen problematice generování kódu, ale i interpretace komplexního systému objektů Petriho sítí. Zadání považuji za náročnější. | ||
| Práce s literaturou | Student vyšel z doporučené literatury, další zdroje vyhledával sám. | ||
| Aktivita během řešení, konzultace, komunikace | Aktivita byla během řešení malá. Proběhlo několik konzultací, na kterých byl prezentován malý pokrok v řešení. Jedním z důvodů může být i to, že student se příliš ponořil do studia práce, na kterou měl navazovat. | ||
| Aktivita při dokončování | Aktivita při dokončování se zjevně zvýšila, přesto nebylo řešení k dispozici v dostatečném předstihu a definitivní obsah práce nemohl být dostatečně konzultován. | ||
| Publikační činnost, ocenění |
Hodnocení odráží výše uvedené. U obhajoby velmi doporučuji ukázat netriviální model, který je přeložitelný a funguje.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Navazuje na existující řešení a dále ho rozvíjí. | ||
| Rozsah splnění požadavků zadání | V souladu se zadáním došlo k posunu v implementaci překladače a interpretu OOPN, ale teto posun mohl výraznější. Bod 5, který se týká testování a vyhodnocení výsledků a možností dalšího vývoje, je v textu komentován jen velmi stručně a problematicky. | ||
| Rozsah technické zprávy | 34 stran v LaTeXu. | ||
| Prezentační úroveň technické zprávy | 50 | Struktura je v pořádku, kapitoly, popisující výchozí stav, jsou srozumitelné. V kapitole Návrh bych očekával použití formálnějších a srozumitelnějších prostředků než jen slovní popis. Některé modifikace by šlo ukázat s využitím skutečnosti, že OOPN mají srozumitelnou vizuální podobu. Kapitoly 5 a 6 bych očekával informačně výrazně bohatší. | |
| Formální úprava technické zprávy | 60 | Je na uspokojivé úrovni. | |
| Práce s literaturou | 60 | V podstatě v pořádku, až na drobnosti. Např. u obrázku 3.1 mohl být uveden zdroj (přestože ho čtenář je schopen pravděpodobně vytušit). | |
| Realizační výstup | 50 | Byly implementovány úpravy stávajícího řešení. Tyto jsou funkční, což demonstrují testovací modely. Nicméně, očekával bych výraznější posun k praktické použitelnosti, což by šlo motivovat a demonstrovat složitějším modelem, než jsou jednoduché testovací modely. Také by šlo v interpretu lépe implementovat vstupy a výstupy apod. Na základě toho by pak bylo možné lépe zpracovat bod 5. | |
| Využitelnost výsledků | Přestože výsledky nejsou velké, jsou použitelné a lze na ně navazovat v rámci dalšího vývoje generátoru kódu pro OOPN. |
eVSKP id 149028