|
|
Support for fundamental component development scenarios
Milata, Tomáš ; Bureš, Tomáš (vedoucí práce) ; Richta, Karel (oponent)
Problémem komponentových systémů je složitost vývojového cyklu způsobující vysokou složitost nástrojů na jeho podporu. Práce vymezuje podmnožinu základních vývojových scénářů v komponentovém systému SOFA 2 takovou, aby z nich bylo možné vytvořit úplnou aplikaci a aby pokrývaly základní koncepty SOFA 2. Jednotlivé scénáře jsou popsány v kontextu SOFA 2 IDE a analyzovány za účelem určení problematických míst, což jsou jak místa obtížně pochopitelná pro nováčky, tak úkony, které jsou vývojáři kvůli nástrojům nuceni vykonávat příliš zdlouhavě. Jako odpověď na tyto nedostatky práce představuje softwarovou sadu nástrojů SOFA 2 Guide schopnou generovat automaticky určitý obsah entit a zdrojový kód v jazyce Java. Zároveň využívá nástroj Cheat Sheet jakožto interaktivní navigaci vývojovým cyklem. Řešení přispívá ke zjednodušení procesu učení se práce se SOFA 2 a ke zrychlení vývoje. Pro budoucí rozšíření se nabízí možnost přidat průvodce pro pokročilejší témata ze SOFA 2 nebo dodat generátor kódu pro C/C++.
|
|
|
Reification of the DEECo component model and its application in virtual-world simulations
Forch, Jan ; Bureš, Tomáš (vedoucí práce) ; Gemrot, Jakub (oponent)
V oblasti dynamicky vyvijejících se distribuovaných systémů složených z autonomních a adaptivních komponent je úkol systematického zpracovávání návrhu složitosti komunikace a kompozice kritickým bodem. To pramení z dynamické povahy takových systémů, kde komponenty a jejich spojování mohou vznikat a zanikat bez varování. Jednou z cest, jak reagovat na tuto výzvu, je zkoumaný model komponentového systému (pojmenovaný DEECo) [15], pro který je charakteristická funkcionalita separace zájmů skrze dynamické implicitní spojování komponent a jejich komunikaci. Cílem této práce je realizace DEECo konceptů a paradigmat v prostředí Javy a napojení na aplikaci simulace virtuálního světa. Jako taková by práce měla sloužit jako platforma k experimentování s aplikacemi založenými na DEECo.
|
|
|
Evaluace jazyků pro tvorbu chování inteligentních virtuálních agentů
Vykouk, Ondřej ; Gemrot, Jakub (vedoucí práce) ; Bureš, Tomáš (oponent)
Formalismů specializovaných na programování inteligentních virtuálních agentů (IVA) existuje několik desítek. Chybí ovšem evaluace, která by designérovi nového agenta poskytla základní přehled jejich použitelnosti v reálných aplikacích. Cílem práce byla evaluace vybraných formalismů s cílem identifikovat jejich nedostatky a navržení jejich vylepšení. Tato vylepšení by umožnila designérovi přesnější kontrolu chování IVA. Evaluace formalismů byla provedena na základě navržených reálných scénářů a jejich implementace v jednotlivých formalismech s využitím platformy Pogamut 3. Jedním z použitých formalismů je Jason (interpret jazyka AgentSpeak), který byl v rámci této práce s uvedenou platformou propojen. Během implementace scénářů byly identifikovány některé problémy tvorby chování inteligentních virtuálních agentů. Pro tyto problémy bylo navrženo řešení formou prototypu mechanismu výběru akcí (MVA) a základní metodologie tvorby chování pro nově navržený MVA. Výsledky této práce by se mohly stát výchozím bodem pro pokročilejší mechanismus výběru akcí, který umožní přesnější kontrolu chování inteligentních virtuálních agentů. Powered by TCPDF (www.tcpdf.org)
|
|
|
Extensible Collaborative Development Platform
Halaša, Michal ; Hnětynka, Petr (vedoucí práce) ; Bureš, Tomáš (oponent)
Název práce: Rozšířitelná vývojová platforma s možností spolupráce Autor: Michal Halaša Katedra / Ústav: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: RNDr. Petr Hnětynka Ph.D., S 212, Malostranské nám. 25, Praha Abstrakt: V dnešní době existuje více vývojových platforem s důrazem na spolupráci uživatelů. Tyto platformy poskytují vývojářům sadu aplikací umožňujících společný vývoj (VCS nástroje, aplikace na sledovaní chyb, emailové konference atp.). Na druhou stranu existují samostatné nástroje na obsluhu jednotlivých aplikací. Většinou tyhle samostatné nástroje poskytují více funkcionality pro vývojáře, ale musejí být nastaveny a spravovány samostatně. Cílem tyto práce je vyvinout vývojovou platformu (tzv. Forge), která je plně rozšiřitelná a poskytuje sjednocený spůsob správy všech použitých nástrojů. Klíčová slova: java, rozšíritelnost, vývojová platforma
|
|
|
Support for enterprise applications in SOFA 2
Blénessy, Tibor ; Bureš, Tomáš (vedoucí práce) ; Hnětynka, Petr (oponent)
Název práce: Support for Enterprise Applications in SOFA 2 Autor: Tibor Blénessy Katedra: Katedra distribuovaných a spolehlivých systém`u Vedoucí diplomové práce: RNDr. Tomáš Bureš, Ph.D. Abstrakt: Na zefektívnenie vývoja a na zvýšenie interoperability enterprise systé- mov sa vyvinuly štandardy definijúce rôzne aspekty týchto systémov. Pre systémy postavené na platforme Java sú tieto štandardy združené pod Java Enterprise Edition. Komponentový systém SOFA 2 ponúka dobrý základ na vývoj rozsiah- lych komponentovo orientovaných systémov. Cieľom tejto práce je navr- hnúť a experimentálne overiť možnosť integrácie existujúcich štandardov pre enterprise aplikácie v SOFA 2. Navrhnuté riešenie rozširuje možnosti SOFA 2 o tvorbu komponent pre webové rozhranie na základe Java Servlet API a o komponenty na ukla- danie dát do relačných databázových systémov pomocou štandardu Java Persistence API. Ďalej navrhnuté riešenie integruje kľúčové technológie z platformy Java Enterprise Edition, čo uľahčí budúcu integráciu ďalších štandardov. Klíčová slova: enterprise aplikace, komponentový systém, SOFA 2, Java EE
|
|
|
C-language code generator for SOFA 2
Ježek, Lukáš ; Bureš, Tomáš (vedoucí práce) ; Bulej, Lubomír (oponent)
SOFA 2 je komponentový systém založený na hierarchickém komponentovém modelu. K návrhu aplikace slouží jazyk ADL, chování komponent je popsáno behaviorálními protokoly, dále systém umožňuje dynamickou rekonfiguraci komponet a modeluje propojení mezi jednotlivými komponentami pomocí softwarových konektorů. Ty umožňují transparentní rozdistribuování vyvíjené aplikace mezi více počítačů. Implementace konektorů může být automaticky generována, SOFA 2 je primárně vyvíjena pro jazyk Java, proto obsahuje generátor Javovských konektorů. Cílem této magisterské práce je navrhnout generátor kódu pro jazyk C a zaintegrovat tento generátor do stávající struktury generátoru konektorů v systému SOFA 2. Automatické generování konektorů v jazyce C by mělo umožnit transparentní propojení komponent implementovaných v jazyce C. Navržený generátor C kódu je založený na konceptu transformace šablon, kde je vstupní šablona, která obsahuje kombinaci cílového C kódu a speciálně vyvinutého skriptovacího jazyka, převedena na čistý C kód. Pro vyhodnocení šablon je použito strategické přepisování abstraktních syntaktických stromů poskytnuté frameworkem Stratego/XT.
|
|
|
Mode Change in Real-time Component Systems
Outlý, Matěj ; Bureš, Tomáš (vedoucí práce) ; Malohlava, Michal (oponent)
Cílem práce je zmapovat možnosti dynamické rekonfigurace v real-timových komponentových systémech, především pak formálně popsat podporu operačních módů. Práce obsahuje návrh mechanismu, který zajišťuje rekonfiguraci na základě řídících proměnných a jejich vzájemných vztahů. Mechanismus je navržen tak, aby bylo možné snadno namodelovat operační módy a pravidla pro rekonfiguraci při zachování znovupoužitelnosti komponentového návrhu. Práce dále ukazuje způsob realizace tohoto mechanismu tak, aby byl použitelný ve světě vestavěných real-time systémů.
|
|
|
IDE-supported development of component-based applications
Hermann, Lukáš ; Bureš, Tomáš (vedoucí práce) ; Šimko, Viliam (oponent)
Na rozdíl od komerčních komponentových systémů nemají ty akademické dostatečnou podporu v integrovaných vývojových prostředích. Tato práce analyzuje vývoj komponentově založených aplikací na komponentovém sys- tému SOFA 2 a zjišťuje, že hlavním problémem je nedostatečné propojení mezi procesy obecného návrhu aplikace a vytváření konkrétních komponent. Na základě této analýzy definuje podmnožinu UML, univerzálního jazyka pro návrh aplikací, a její sémantiku vzhledem k entitám komponentového systému SOFA 2. Dále vytváří nástroj integrovaný do vývojového prostředí Eclipse, který umožňuje automatické generování těchto entit z UML kom- ponentového modelu, stejně jako propojení tohoto modelu s již existujícími entitami, umožňující jejich automatickou opravu v případě změny modelu. Tento nástroj je navržen modulárně tak, aby bylo možné jednoduše změnit sémantiku modelu nebo ho použít na jiné modely. Nakonec tato práce ana- lyzuje možnosti rozšíření tohoto nástroje na další komponentové systémy, generování kódu a verifikaci chování komponent.
|
|
|
GPS tracks data processing and visualization
Dobroucký, Martin ; Bureš, Tomáš (vedoucí práce) ; Svoboda, Martin (oponent)
Velké rozšíření GPS zařízení schopných zaznamenávat a ukládat trasu pohybu vytváří obrovské množství dat obsahujících široké spektrum informací, které je možné využít k mnoha různým účelům. Typické využití je vykreslení trajektorie trasy, ale to představuje jen nejzákladnější možné využití obsažených informací. Dodatečné zpracování, filtrování a úprava dat může významně obohatit jejich informační hodnotu. Například identifikace a označení významných míst a tras, detekce a odstranění chybných dat nebo zvýraznění průběhu rychlosti nebo nadmořské výšky podél trasy. Úkolem práce je identifikovat a popsat nejlepší řešení pro zpracování a vizualizaci GPS záznamů tras. To znamená analýzu jednotlivých tras, vzájemné porovnání několika záznamů nebo přehledné zpracování velkých kolekcí dat. Součástí práce je i ukázková implementace navržených postupů.
|
|
|
Variability of Execution Environments for Component-based Systems
Malohlava, Michal ; Bureš, Tomáš (vedoucí práce) ; Racek, Stanislav (oponent) ; Duchien, Laurence (oponent)
Znovu použitelnost je jedním ze základních pilířů softwarového inženýrství. Tato vlastnost umožňuje vyvíjet systémy nejen rychleji ale také s menším úsilím. Proto tato dizertační práce zkoumá limity znovu použitelnosti v rámci komponentových systémů. Na základě analýzy současných komponentových systémů nachází jejich společné vlastnosti a rozdíly. Dosažené poznatky shrnuje do návrhu meta-komponentového systému - softwarové výrobní linky pro přípravu komponentových systémů na míru specifikovaným požadavkům. Práce se dále soustředí na definici vlastního meta-komponentového systému a rozebírá jeho důležité aspekty, které jsou klíčové pro přípravu nového komponentového systému - (1) konfigurovatelné běhové prostředí a (2) generování kódu. Pro řešení (1) práce přináší modelem řízenou metodu přípravy konfigurovatelného běhového prostředí. V návaznosti na tuto metodu rozebírá generování kódu, definuje a vysvětluje roli interoperability doménově specifických jazyků v tomto procesu. Dále práce rozšiřuje koncept interoperability a definuje rodinu jazyků parametrizovanou obecným programovacím jazykem.
|
host ::
RSS.