|
|
UML profil pro modelování komponentových systémů
Pagáč, Jiří ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
Práce se zabývá modelováním softwarových komponentových systémů v jazyce UML a rozšíření jazyka UML technikami meta-modelování s využitím technologie UML Profile za účelem vytvoření podpory pro vybraný komponentový systém. Dále se věnuje komponentově orientovanému vývoji. Jádro práce tvoří vytvoření metodologie pro tvorbu UML Profilů a demonstrace tohoto postupu na vybraném komponentovém systému včetně OCL omezení a popisu problémů při vytváření profilu. V práci je také popsána podpora této technologie v dostupných UML CASE nástrojích. Pro účely demonstrace práce obsahuje případovou studii obsahující příklad, který využívá vytvořený UML Profil. Profil je vytvořen v souladu se specifikací UML v2.3, OCL v2.2. Profil a demonstrace samotná využívá software IBM Rational Software Architect ve verzi 8.0.2.
|
|
|
Systém pro podporu e-learningu
Drahoš, Michal ; Eysselt, Miloš (oponent) ; Kreslíková, Jitka (vedoucí práce)
Tento projekt se zabývá tvorbou systému pro podporu e-learningu. Popisuje problematiku e-learningu (elektronického vzdělávání), vysvětluje, co tento pojem znamená, a popisuje jeho výhody i nevýhody. Úkolem bylo vytvořit aplikaci vhodnou k elektronickému vzdělávání, která by objasňovala specifikaci omezení objektů systému. To znamená vytvořit aplikaci, ve které by byla vysvětlena problematika OCL a to v takovém formátu, jenž by odpovídal struktuře a formě aplikace užívající se k elektronickému vzdělávání. Seznámil jsem se s jazyky OCL i UML 2.0. Prostudoval prostředí CASE Rational Rose a také se obeznámil s problematikou elektronického vzdělávání. Těchto poznatků jsem využil při vytváření e-learningové aplikace.
|
|
|
Language for High-Level Description of User Interface Requirements
Rašovský, Martin ; Martiško, Jakub (oponent) ; Krčmář, Radim (vedoucí práce)
This master's thesis investigates new high-level language for description of graphical user interface. The theoretical part of this thesis studies the UI technologies and software methodologies from a side of general requirements on new language. From that, we derive general requirements specifying what it is meant to be a functional part of an UI. We also list requirements for special educational needs according to known \textit{computer therapy design principles}. According to analyzed requirements is proposed a design of new language, including an algorithm of composition of UI components for further implementation of the language. Designed language is implemented in C\# programming language and is demonstrated on a representative example. We conclude this work with outlining further extensions of the proposed language.
|
|
|
Nástroj pro kontrolu správnosti návrhových diagramů v UML
Dlouhý, Ivo ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
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.
|
|
|
Transformace z OCL do SQL
Sobotka, Petr ; Richta, Karel (vedoucí práce) ; Kopecký, Michal (oponent)
Cílem této diplomové práce nazvané Transformace z OCL do SQL je prozkoumat možnosti rozšíření CASE nástroje Enterprise Architect o schopnost generování SQL kódu, který implementuje integritní omezení v OCL z platformově nezávislého modelu, a vytvořit funkční prototyp, který tuto schopnost demonstruje. Práce obsahuje stručný úvod do problému modelem řízeného vývoje, proč by bylo užitečné zavést specifikovaná integritní omezení přímo v databázi, popis interakce s nástrojem Enterprise Architect spolu s analýzou, jak se dostat k potřebným datům, způsob, jakým může být OCL mapováno na SQL, a nakonec popisuje implementaci zásuvného modulu OCLtoSQL od analýzy a zvolené architektury až po jeho dokumentaci.
|
|
|
Nástroj pro kontrolu správnosti návrhových diagramů v UML
Dlouhý, Ivo ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
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.
|
|
|
Language for High-Level Description of User Interface Requirements
Rašovský, Martin ; Martiško, Jakub (oponent) ; Krčmář, Radim (vedoucí práce)
This master's thesis investigates new high-level language for description of graphical user interface. The theoretical part of this thesis studies the UI technologies and software methodologies from a side of general requirements on new language. From that, we derive general requirements specifying what it is meant to be a functional part of an UI. We also list requirements for special educational needs according to known \textit{computer therapy design principles}. According to analyzed requirements is proposed a design of new language, including an algorithm of composition of UI components for further implementation of the language. Designed language is implemented in C\# programming language and is demonstrated on a representative example. We conclude this work with outlining further extensions of the proposed language.
|
|
|
Ověřování integritních omezení v C# pomocí Code Contracts
Dort, Vlastimil ; Malý, Jakub (vedoucí práce) ; Ježek, Pavel (oponent)
Jazyk OCL slouží pro specifikaci integritních omezení nad modelem jazyka UML, Code Contracts umožňují integritní omezení zapsat v programovacích jazycích pro platforum Microsoft .NET Framework. Cílem předložené práce je najít a implementovat překlad integritních omezení z jazyka OCL do programovacího jazyka C# s využitím Code Contracts. Představeny jsou možnosti technologie Code Contracts a jazyka OCL, jednotlivé jazykové konstrukce a operace ze standardní knihovny jazyka OCL jsou pak porovnány se syntakticky a sémanticky obdobnými vyjádřeními v jazyce C#. Zvolený překlad se snaží tam, kde je to možné, dodržovat sémantiku jazyka OCL. Generování zdrojových kódů v jazyce C# s Code Contracts je implementováno do programu eXolutio, ze kterého je využit editor diagramů tříd a parser jazyka OCL. Powered by TCPDF (www.tcpdf.org)
|
|
|
Transformace z OCL do SQL
Sobotka, Petr ; Richta, Karel (vedoucí práce) ; Kopecký, Michal (oponent)
Cílem této diplomové práce nazvané Transformace z OCL do SQL je prozkoumat možnosti rozšíření CASE nástroje Enterprise Architect o schopnost generování SQL kódu, který implementuje integritní omezení v OCL z platformově nezávislého modelu, a vytvořit funkční prototyp, který tuto schopnost demonstruje. Práce obsahuje stručný úvod do problému modelem řízeného vývoje, proč by bylo užitečné zavést specifikovaná integritní omezení přímo v databázi, popis interakce s nástrojem Enterprise Architect spolu s analýzou, jak se dostat k potřebným datům, způsob, jakým může být OCL mapováno na SQL, a nakonec popisuje implementaci zásuvného modulu OCLtoSQL od analýzy a zvolené architektury až po jeho dokumentaci.
|
|
|
UML profil pro modelování komponentových systémů
Pagáč, Jiří ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
Práce se zabývá modelováním softwarových komponentových systémů v jazyce UML a rozšíření jazyka UML technikami meta-modelování s využitím technologie UML Profile za účelem vytvoření podpory pro vybraný komponentový systém. Dále se věnuje komponentově orientovanému vývoji. Jádro práce tvoří vytvoření metodologie pro tvorbu UML Profilů a demonstrace tohoto postupu na vybraném komponentovém systému včetně OCL omezení a popisu problémů při vytváření profilu. V práci je také popsána podpora této technologie v dostupných UML CASE nástrojích. Pro účely demonstrace práce obsahuje případovou studii obsahující příklad, který využívá vytvořený UML Profil. Profil je vytvořen v souladu se specifikací UML v2.3, OCL v2.2. Profil a demonstrace samotná využívá software IBM Rational Software Architect ve verzi 8.0.2.
|
host ::
RSS.