BEŇO, A. Generování sekvenčních diagramů z modelů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.

Posudky

Posudek vedoucího

Kočí, Radek

Aktivitu studenta a přístup k řešení a zpracování textu hodnotím stupněm C.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Informace k zadání Práce navazuje na výsledky v oblasti aplikací Objektově Orientovaných Petriho sítí (OOPN) a vytváří nástroj pro generování sekvenčních diagramů podle informací z existující implementace simulátoru OOPN. Nástroj se má stát součástí (modul) existujícího editoru OOPN. Náročností odpovídá zadání standardní práci. Zadání bylo splněno.
Práce s literaturou Student využil základní zdroje doporučené vedoucím práce, další studijní materiály vyhledal samostatně.
Aktivita během řešení, konzultace, komunikace Student byl během řešení aktivní. Konzultace probíhaly věcně.
Aktivita při dokončování Aktivita při dokončování byla dobrá, realizace i technická zpráva byla konzultována s předstihem.
Publikační činnost, ocenění
Navrhovaná známka
C
Body
75

Posudek oponenta

Janoušek, Vladimír

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Náročnost zadání
Rozsah splnění požadavků zadání
Rozsah technické zprávy 35 stran v LaTeXu. Zpráva není z nejdelších, ale obsahuje vše potřebné.
Prezentační úroveň technické zprávy 75 Struktura práce je v pořádku, text je jasný a srozumitelný.
Formální úprava technické zprávy 75 Typograficky je práce v pořádku, až na drobnosti. Např. obrázek 2.5 je zbytečně velký. Jazykově je práce též v pořádku.
Práce s literaturou 75 Studijní prameny byly vybrány v souladu s tématem a jsou řádně citovány. Vlastní přínos autora je zřejmý.
Realizační výstup 75 Realizačním výstupem je modul do editoru OOPN. Je vytvořen v souladu s požadavky zadání a je v souladu s dokumentací.  Generátor sekvenčních diagramů může pracovat v režimu krokování, nebo souběžně s automatickou simulací. V druhém případě může nastat problém s generováním nekonečného diagramu. V demonstračních příkladech se toto nevyskytuje.
Využitelnost výsledků Jde o návrh a implementaci nové funkcionality systému PNtalk. Tato je přímo použitelná. Jsou možná další vylepšení: Vypořádat se s cyklením a generováním nekonečných diagramů. Umožnit generování jen pro vybrané objekty a metody.
Navrhovaná známka
C
Body
75

eVSKP id 148291