Original title:
Nástroj pro kontrolu správnosti návrhových diagramů v UML
Translated title:
A Tool for Checking Correctness of Design Diagrams in UML
Authors:
Dlouhý, Ivo ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor) Document type: Master’s theses
Year:
2014
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[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.
Keywords:
design diagrams; incorrectness patterns; ocl; qvtr; uml; uml correctness; visual paradigm; xmi; návrhové diagramy; ocl; qvtr; správnost uml; uml; visual paradigm; vzory nesprávnosti; xmi
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/187667