Detail práce

Generování kódu z Objektově orientovaných Petriho sítí

Diplomová práce Student: Hanák Martin Akademický rok: 2014/2015 Vedoucí: Kočí Radek, Ing., Ph.D.
Název anglicky
Code Generation from Object Oriented Petri Nets
Jazyk práce
český
Abstrakt

Tato diplomová práce se zabývá generováním zdrojových kódů z jazyka PNtalk do standardních objektově orientovaných jazyků, např. C++ nebo Java. Rozebírá možnosti zjednodušeného modelování formalismu Objektově orientovaných Petriho sítí (OOPN) v prostředí těchto jazyků. Takový model by měl být jednodušší a efektivnější, než nabízí aktuální implementace v prostředí jazyka Smalltalk. Práce také uvádí návrh abstraktizace generátoru kódu tak, aby byl schopen generovat výsledný kód v různých jazycích.

Klíčová slova

objektově orientované Petriho sítě, PNtalk, generování kódu, překladač jazyka, optimalizace

Ústav
Studijní program
Informační technologie, obor Inteligentní systémy
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
19. června 2015
Oponent
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C

Otázky u obhajoby
  1. Uvažoval jste i o jiných příkladech pro porovnání časové složitosti implementace ve Smalltalku a v C++, ve kterých by se projevil nedeterminismus a s ním spojené hledání vhodného navázání proměnných backtrackingem?
Komise
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), předseda
Beran Vítězslav, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT), člen
Kočí Radek, Ing., Ph.D. (UITS FIT VUT), člen
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT), člen
Luňáček Jiří, Ing., Ph.D., MBA (UE FP VUT), člen
Citace
HANÁK, Martin. Generování kódu z Objektově orientovaných Petriho sítí. Brno, 2015. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-06-19. Vedoucí práce Kočí Radek. Dostupné z: https://www.fit.vut.cz/study/thesis/17932/
BibTeX
@mastersthesis{FITMT17932,
    author = "Martin Han\'{a}k",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Generov\'{a}n\'{i} k\'{o}du z Objektov\v{e} orientovan\'{y}ch Petriho s\'{i}t\'{i}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17932/"
}
Nahoru