Název:
Nástroj pro kontrolu správnosti návrhových diagramů v UML
Překlad názvu:
A Tool for Checking Correctness of Design Diagrams in UML
Autoři:
Dlouhý, Ivo ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2014
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Cílem diplomové práce je vytvořit nástroj pro kontrolu správnosti návrhových diagramů v UML zvláště diagramu tříd. Práce popisuje jazyk UML a souvisejících standardy, definuje problém správnosti UML a vysvětluje přístup kontroly správnosti UML pomocí databáze vzorů nesprávnosti. Dále navrhuje technologii QVT vhodnou pro implementaci vzorů pro kontrolu správnosti.Problém je rozdělen na více částí, mezi které patří sdílená databáze vzorů chyb v UML spravovatelná přes webové rozhraní, samostatný nástroj pro použití z příkazové řádky a zásuvný modul pro UML návrhový software Visual Paradigm. Všechny navržené části jsou navrženy, implementovány, otestovány a vyhodnoceny. Důraz je kladen na otevřenost a rozšiřitelnost nástroje.
Aim of this master's thesis is to create a tool for checking correctness of design diagrams in UML. The work describes the UML language and connected standards, defines the problem of UML correctness and explains the approach of using incorrectness pattern database to check the UML correctness. Furthermore it suggests the QVT language as a suitable for implementing the incorrectness patterns. The problem is decomposed into shared incorrectness pattern database manageable via web interface, standalone tool for use from the command line and a plugin for the UML design software Visual Paradigm. All of the components are designed, implemented, tested and evaluated. The important aspect is the openness and extensibility of the tool.
Klíčová slova:
návrhové diagramy; ocl; qvtr; správnost uml; uml; visual paradigm; vzory nesprávnosti; xmi; design diagrams; incorrectness patterns; ocl; qvtr; uml; uml correctness; visual paradigm; xmi
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/187667