Rozšíření možností modelování v OntoUML na platformě OpenPonk
Extending OntoUML Modelling Capabilities on the OpenPonk Platform
Typ dokumentu
diplomová prácemaster 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
Informatika 2010Instituce 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 rozšíření možností pro vytváření OntoUML modelů na platformě OpenPonk. Toto rozšíření je rozděleno do čtyř částí. Prvním rozšířením je grafické uživatelské rozhraní pro zobrazování výsledků verifikačního frameworku. Druhá část je prezenotvána novým frameworkem, sloužícím k automatické aktualizaci OunoUML verifikací. Třetím rozšířením je automatická detekce OntoUML anit-patternů. Poslední část se sestává z vybudování nové sekce portálu ontouml.org, obsahující dokumentaci k jednotlivým anti-patternům. V závěru práce je detekce anti-patternů demostrována na referenčním modelu. This work focuses on extending OntoUML modelling capabilities on the OpenPonk platform. This is done in four parts. First part of the expansion is graphical user interface for displaying results of the verification framework. Second part is represented by new framework, which is used for automatic updating of OntoUML verifications. Third part of the expansion is automatic detection of OntoUML anti-patterns. Last part consists of new section on portal ontouml.org, dedicated to anti-pattern documentation. End of this thesis focuses on demonstration of the anti-pattern detection using reference model.
Kolekce
- Diplomové práce - 18102 [942]
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 ...