|
|
Using Stratego/XT for Generation of Software Connectors
Malohlava, Michal
Softwarové konektory hrají významnou roli v komponentových systémech, kde pomáhají modelovat a realizovat spojení mezi komponentami. Krom toho můžou také rozšiřovat vlastnosti spojení přidáním definované funkcionality (např. logování, monitorování, adaptace). Pro tyto účely je ale nutné konektory generovat v závislosti na podmínkách, které jsou specifikovány vlastními komponentami, prostředím a nebo návrhářem. Tato práce se snaží rozšířit existující generátor konektorů [33] pomocí systému Stratego/XT, který zahrnuje jazyk pro implementaci programových transformací a sadu podpůrných nástrojů. Pomocí tohoto systému realizujeme způsob, kterým lze snadno definovat vlastní implementaci softwarového konektoru a následně vygenerovat zdrojový kód konektoru dle daných požadavků.
|
|
|
Model-driven Pretty Printer for Xtext Framework
Novotný, Marek ; Malohlava, Michal (vedoucí práce) ; Čermák, Miroslav (oponent)
Doménově specifický jazyk slouží k popisu problémů v doméně, pro níž byl vytvořen. Tento fakt implikuje existenci velkého množství jazyků tohoto druhu. Používání doménově specifických jazyků přináší s sebou potřebu tyto jazyky formátovat a zvýrazňovat jejich syntaxi. Jedním z nástrojů, které umožňují tvorbu doménově specifických jazyků, je prostředí Xtext, který nabízí pouze omezenou paletu nástrojů umožňující nadefinovat formátování kódu a jeho zvýraznění. Navíc jsou tyto nástroje pro uživatele těžko pochopitelné, jelikož jsou nepřehledné a vyžadují znalosti vnitřních záležitostí prostředí Xtext. Proto tato práce představuje nový způsob formátovaní a zvýrazňování kódu pro prostředí Xtext, který je založen na deklarativní definici formátovacích pravidel. Kromě toho tato práce pomáhá uživateli s tvorbou formátovacích pravidel na základě netriviálních heuristik.
|
|
|
Projectional editor for domain-specific languages
Dvořák, Ondřej ; Malohlava, Michal (vedoucí práce) ; Šimko, Viliam (oponent)
Název práce: Projektivní editor doménově-specifických jazyků Autor: Ondřej Dvořák Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Michal Malohlava Abstrakt: Programování je proces návrhu algoritmu, psaní, testování a ladění zdro- jového kódu. Ten se neobejde bez existence nejrůznějších programátorských nástrojů, jako je například integrované vývojové prostředí (IDE) umožňující správu většiny univerzálních jazyků s textovou reprezentací. Vzhledem ke vzrůstající popularitě doménově-specifických jazyků (DSL) je nezbytné, aby IDE podporovalo i je. DSL jsou ovšem reprezentovány nejen textovou formou, ale i grafickou a případně jejich kombinací. Jedním z nadějných přístupů je nová metoda zvaná projektivní edi- tace. Jejím úkolem je umožnit různé způsoby zobrazení a manipulace se zdrojovým kódem. Tato myšlenka je většinou realizována projektivním editorem. Tato práce se zabývá návrhem a experimentální implementací projektivního editoru pro doménově-specifické jazyky. Analyzuje možné přístupy k projektivní editaci a navrhuje jejich vhodnou aplikaci v Microsoft Visual Studiu. Přínáší univerzální implementaci projektivního editoru integrovaného ve Visual Studiu i v...
|
|
|
Plánovač tras
Hryzlík, Pavel ; Malohlava, Michal (vedoucí práce) ; Ježek, Pavel (oponent)
Název práce: Plánovač tras Autor: Pavel Hryzlík Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: RNDr. Michal Malohlava, Katedra distribuovaných a spolehlivých systémů Abstrakt: Systémy navigace se stávají nedílnou součástí našeho života. Ve větších městech, pokud je třeba se dopravit z místa A do místa B, je často výhodné využít kombinaci sítě veřejné hromadné dopravy a chůze. Stávající navigační systémy však tuto funkcionalitu plně nepodporují. Proto cílem této práce je navrhnout a implementovat plánovač tras založený na vyhledávací knihovně JRGPS. Výsledná aplikace Route Finder System umožňuje efektivní a uživatelsky přívětivé vyhledávání tras kombinující sítě veřejné hromadné dopravy a chůze. Klíčová slova: plánovač, navigace, trasa, cesta, MHD
|
|
|
SOFA 2 graphical tools improvement
Kudláček, Ondřej ; Malohlava, Michal (vedoucí práce) ; Čermák, Miroslav (oponent)
Tato práce se zabývá vylepšením komponentového systému SOFA 2 a je zaměřena na grafické řídící rozhranní. SOFA 2 je založena na modelovacím nástroji Eclipse Modeling Framework. Pomocí něj je vykonstruován hierarchický model tohoto systému. Rozšíření vyvinutá v rámci tohoto projektu poskytují skrz grafické rozhraní možnost upravovat tzv. Deployment plány aplikací vyvinutých v systému SOFA 2 a přenášet jejich komponenty mezi repozitáři. Grafické rozhraní je provedeno jako samostatný program nebo jako rozšiřující součástka (plug-in) do platformy Eclipse. Vylepšení systému je zahrnuto v součástce MConsole, pomocí které se dají vyvíjené aplikace v systému SOFA 2 spravovat. Celý program je implementován v jazyce Java. Grafická rozhranní jsou zkonstruována pomocí knihovny JFace, která umožňuje práci s modely založenými na EMF. Při úpravách modelu se používá framework EMF.Edit a jeho podknihovna Command.
|
|
| |
|
|
Interactive Debugger for MSIM
Martinec, Tomáš ; Děcký, Martin (vedoucí práce) ; Malohlava, Michal (oponent)
Cílem této práce je rozšíření ladících schopností MSIMu pomocí napojení na vývojové prostředí Eclipse. MSIM je simulátor počítače založený na procesoru MIPS a jednoduchém hardwarovém modelu. Je zaměřen převážně na výuku principů operačních systémů. V současné době MSIM umožňuje ladit emulovaný kód díky implementaci síťového rozhraní GNU Debuggeru (GDB) a pomocí několika interních ladících příkazů. Implementace prezentovaná v této práci spojuje MSIM a ladící prostředí Eclipse IDE pomocí GDB rozhraní. Umožňuje tak uživatelsky přívětivé ladění emulovaného kódu na úrovni zdrojových souborů i assembleru. Dále jsou v práci diskutovány pokročilé ladící techniky jako sledování userspace vláken, konstrukce call tree, zpětné krokování a další.
|
|
|
COSIM - Simulace povlakování
Jílek, Jan ; Kofroň, Jan (vedoucí práce) ; Malohlava, Michal (oponent)
Je dána povlakovací komora, ve které je rotující systém rotujících držáků, které drží rotující nástroje. Dále jsou v komoře umístěny elektrody (z různých materiálů), ze kterých se odpařuje materiál, který se nanáší na nástroje. Cílem práce je simulovat proces nanášení a co nejvěrohodněji graficky zobrazit nanesenou vrstvu na daných místech povlakovaných nástrojů v závislosti na jejich umístění, počtu, rychlosti otáčení a dalších volitelných nastavení.
|
|
|
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ů.
|
|
| |
host ::
RSS.