Verifikace OntoUML modelů na platformě OpenPonk
OntoUML Models Verification for the OpenPonk platform
Type of document
bakalářská prácebachelor thesis
Author
Marek Bělohoubek
Supervisor
Pergl Robert
Opponent
Blizničenko Jan
Field of study
Webové a softwarové inženýrstvíStudy program
InformatikaInstitutions assigning rank
katedra softwarového inženýrstvíRights
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
Show full item recordAbstract
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.
Collections
- Bakalářské práce - 18102 [1724]
Related items
Showing items related by title, author, creator and subject.
-
Posouzení finančního zdraví vybraných stavebních společností pomocí bankrotních modelů
Author: Roman Koc; Supervisor: Frková Jana; Opponent: 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í
Author: Mareš Jakub; Supervisor: Foglar Marek; Opponent: 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
Author: Štěrba Jan; Supervisor: Rozhdestvenskiy Dmitry; Opponent: Š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 ...