|
|
Simulátor stavových diagramů
Žídek, Marek ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Práce popisuje životní modely softwaru a zdůrazňuje jejich význam při tvorbě softwaru. Věnuje se především metodám návrhu řízeného modelem, které jsou souhrnně označovány model based design. Dále rozebírá nejrozšířenější jazyk pro modelování softwaru - UML. Stručně popisuje téměř všechny diagramy UML 2.0 tj. diagram případů užití, tříd, spolupráce, aktivit, stavů, nasazení, komponent a sekvenční. Podrobněji se zaměřuje na Executable UML. Uvedené znalosti jsou prakticky využity při návrhu a implementaci simulátoru stavových diagramů. Na Fakultě informačních systémů VUT v Brně v současné době probíhá výzkumný projekt PNTalk zaměřený na model based design, jehož součástí je i simulátor stavových diagramů. Práce provádí celou problematikou návrhu od počáteční specifikace, přes diagramy případů užití a diagramy tříd až po diagramy spolupráce. Poté popisuje implementační detaily a specifika implementace systému v jazyce Smalltalk. Na závěr je diskutována možnost dalšího rozvoje aplikace a jsou zhodnoceny dosažené výsledky.
|
|
|
Metody automatizované transformace modelů v analýze IS
Tůma, Jakub ; Merunka, Vojtěch (vedoucí práce) ; Toman, Prokop (oponent)
Tato doktorská disertační práce přispívá k holistickému vývoji informačních systémů v oblasti analytických modelů informačních systémů (IS). Práce se zabývá modely v analýze informačních systémů a jejich metody transformace.
Práce je zaměřena na konkrétní modely a to na Business process modeling notation (BPMN) a Business object relational modeling (BORM). Model BPMN je rozvíjen od roku 2000. Model BORM je starší a je rozvíjen od roku 1993. Obecným cílem této práce bylo rozšíření holistického vývoje informačních systémů. Konkrétním cílem bylo propojení modelu BPMN a modelu BORM.
Práce byla inspirována teorií konečných automatů. Stav problematiky řešení popisuje přístupy k transformacím modelů. V analytické části jsou matematickým zápisem popsány jednotlivé transformace, jakožto vstupní údaje pro realizační část. Realizační část obsahuje algoritmus transformace, postup jeho dosažení a jeho následné ověření na případových studiích. Diskuze obsahuje porovnání přístupu vytvořené metody transformace s ostatními přístupy.
Dosažení cílů je dokumentováno automatizovaným transformačním kalkulem. Příno- sem je automatizované propojení modelů BPMN a modelu BORM pomocí metody transformace. Výsledkem je metoda automatizované transformace z modelu BPMN do modelu BORM pomocí algoritmu. Transformace modelu BPMN do modelu BORM je uskutečněna přes Mealyho automat.
|
|
|
Simulátor stavových diagramů
Žídek, Marek ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Práce popisuje životní modely softwaru a zdůrazňuje jejich význam při tvorbě softwaru. Věnuje se především metodám návrhu řízeného modelem, které jsou souhrnně označovány model based design. Dále rozebírá nejrozšířenější jazyk pro modelování softwaru - UML. Stručně popisuje téměř všechny diagramy UML 2.0 tj. diagram případů užití, tříd, spolupráce, aktivit, stavů, nasazení, komponent a sekvenční. Podrobněji se zaměřuje na Executable UML. Uvedené znalosti jsou prakticky využity při návrhu a implementaci simulátoru stavových diagramů. Na Fakultě informačních systémů VUT v Brně v současné době probíhá výzkumný projekt PNTalk zaměřený na model based design, jehož součástí je i simulátor stavových diagramů. Práce provádí celou problematikou návrhu od počáteční specifikace, přes diagramy případů užití a diagramy tříd až po diagramy spolupráce. Poté popisuje implementační detaily a specifika implementace systému v jazyce Smalltalk. Na závěr je diskutována možnost dalšího rozvoje aplikace a jsou zhodnoceny dosažené výsledky.
|
host ::
RSS.