Verifikace OntoUML modelů na platformě OpenPonk
OntoUML Models Verification for the OpenPonk platform
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Marek Bělohoubek
Vedoucí práce
Pergl Robert
Oponent práce
Blizničenko Jan
Studijní obor
Webové a softwarové inženýrstvíStudijní program
InformatikaInstituce přidělující hodnost
katedra softwarového inženýrstvíPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Tato práce se zaměřuje na vytvoření nového frameworku, který bude použit pro verifikaci OntoUML modelů na platformě OpenPonk. Pro to je nutné nejdříve popsat a analyzovat jazyk OntoUML a platformu OpenPonk. Na základě této analýzy jsou následně vytvořeny dva návrhy verifikačního frameworku. Dle lepšího z nich je framework následně implementován. Veškerý nový kód je zdokumentovván a jsou pro něj vytvořeny testy. Na závěr je celý framework demonstrován na referenčním modelu. This work focuses on creation of new verification framework that will be used for verification of OntoUML model on OpenPonk platform. It is necessary to describe and analyse OntoUML language and OpenPonk platform. Using this analysis two designs are created for the verification framework. The better one is then selected and implemented. All new code is documented and unit test are created for him. Finally entire framework is demonstrated on reference model.
Kolekce
- Bakalářské práce - 18102 [1724]
Související záznamy
Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.
-
Posouzení finančního zdraví vybraných stavebních společností pomocí bankrotních modelů
Autor: Roman Koc; Vedoucí práce: Frková Jana; Oponent práce: Brodilová Hana
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-22)Diplomová práce je zaměřena na téma finanční situace vybraných stavebních společností. První kapitola je věnována teorii, co to bankrotní modely jsou a jaké vstupní informace jsou nutné pro dosazení do bankrotních modelů ... -
Porovnání výstižnosti modelů konstrukce z hlediska torzního namáhání
Autor: Mareš Jakub; Vedoucí práce: Foglar Marek; Oponent práce: Zíka Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-08)Diplomová práce se zaměřuje na chování půdorysně zakřivených mostů, které jsou namáhány kroucením. V první části diplomové práce jsou shrnuty informace o analyzovaných reálných konstrukcích, obecném kroucení a obecné ... -
Pokročilý adaptivní tempomat s využitím protokolů ADASIS Horizon 2020
Autor: Štěrba Jan; Vedoucí práce: Rozhdestvenskiy Dmitry; Oponent práce: Švandrlík Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-11-30)Předmětem práce je analýza současné nabídky na trhu ADAS systémů a představení nového protokolu ADASIS v2, včetně jeho specifikací a možných implementací. Cílem práce je s využitím získaných poznatků navrhnout nový systém ...