Detail práce

Vizualizace výrazů procesní algebry pi-kalkul

Diplomová práce Student: Prokopová Dagmar Akademický rok: 2016/2017 Vedoucí: Rychlý Marek, RNDr., Ph.D.
Název anglicky
Visual Representation of Pi-Calculus Expressions
Jazyk práce
český
Abstrakt

Tato práce se zabývá problémem vizualizace výrazů procesní algebry pi-kalkul. Teoretická část práce pojednává jak o obecných principech procesních algeber, tak i o specifických vlastnostech konkrétních modelů se zaměřením na procesní algebru pi-kalkul. Součástí je rovněž srovnání několika textových a grafických reprezentací výrazů. Hlavní část práce se pak zabývá návrhem a implementací aplikace pro převod textové reprezentace výrazů na grafickou. Vedle textové a grafické reprezentace byla navržena také interní stromová reprezentace určená pro práci s výrazy uvnitř aplikace. V práci jsou také popsány algoritmy pro vyhledání proveditelných redukcí, pro provedení redukce a pro zjednodušení výrazů, které pracují s navrženou stromovou reprezentací.

Klíčová slova

procesní algebra, pi-kalkul, vizualizace, souběžné systémy, formální specifikace, grafická reprezentace, graf, redukce, výrazy

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Inteligentní systémy
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
20. června 2017
Oponent
Křivka Zbyněk, Ing., Ph.D.
Průběh obhajoby

Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla 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í studentky na položené otázky rozhodla práci hodnotit stupněm A - výborně.

Otázky u obhajoby
  1. Jaký je rozdíl, pokud vůbec, mezi konkretizací procesu a aplikací definice procesu?
  2. Co vás vedlo k umístění metody pro generování možných redukcí (generateReductionList) do třídy GraphManager místo využití tříd spravujících interní reprezentaci výrazu?
Komise
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT), předseda
Čadík Martin, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT), člen
Janoušek Jan, doc. Ing., Ph.D. (FIT ČVUT), člen
Orság Filip, Ing., Ph.D. (UITS FIT VUT), člen
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT), člen
Citace
PROKOPOVÁ, Dagmar. Vizualizace výrazů procesní algebry pi-kalkul. Brno, 2017. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-20. Vedoucí práce Rychlý Marek. Dostupné z: https://www.fit.vut.cz/study/thesis/5123/
BibTeX 
@mastersthesis{FITMT5123,
    author = "Dagmar Prokopov\'{a}",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Vizualizace v\'{y}raz\r{u} procesn\'{i} algebry pi-kalkul",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/5123/"
}

Závěrečné práce

Nahoru