|
|
Nástroj pro vizualizaci XQuery dotazů
Maksimenka, Tatsiana ; Holubová, Irena (vedoucí práce) ; Klímek, Jakub (oponent)
Název práce: Nástroj pro vizualizaci XQuery dotazů Autor: Tatsiana Maksimenka Katedra: Katedra softwarového inženýrství Vedoucí bakalářské práce: RNDr. Irena Mlýnková, Ph.D., Katedra softwarového inženýrství Abstrakt: Implementace nástroje pro podporu výuky jazyka XQuery s možnostmi vizualizace jak vstupních dat, tak i samotného dotazu a jeho výsledku. Klíčová slova: XQuery, XML, vizualizace, graf
|
|
|
Vzájemný převod mezi XSEM PSM diagramy a jazykem Schematron
Benda, Soběslav ; Klímek, Jakub (vedoucí práce) ; Nečaský, Martin (oponent)
V předložené práci studujeme možnosti v oblasti automatické konstrukce Schematron schémat z konceptuálního modelu pro XML a možnosti reverzního inženýrství Schematron schémat. Práce uvádí čtenáře do konceptuálních schémat pro XML a do validace XML dokumentů založené na pravidlech. Existující techniky pro vzájemné převody mezi jazyky pro popis XML schémat a konceptuálním modelem jsou také zahrnuty. Hlavní částí práce je návrh a implementace nové metody pro odvozování schémat v jazyce Schematron z konceptuálních schémat pro XML. Tato metoda umožňuje získat schémata pro XML, která v některých ohledech předčí možnosti jiných populárních jazyků pro popis XML schémat. V práci je dále diskutována problematika reverzního inženýrství schémat v jazyce Schematron a jsou ukázány možnosti v této oblasti poskytující základ pro další výzkum.
|
|
|
Advanced Interface for XML Data
Korchňák, Jiří ; Holubová, Irena (vedoucí práce) ; Klímek, Jakub (oponent)
V současnosti existuje několik rozhraní pro přístup k XML datům, například DOM, SAX, JAXP, StaX, .NET XML a další. Nicméně každé rozhraní má své výhody a nevýhody. Tato práce analyzuje existující XML rozhraní a identifikuje jejich pro a proti z různých úhlů pohledu. Na základě této analýzy je navrženo nové DOM rozhraní pro přístup k příliš velkým XML dokumentům a je vytvořena jeho prototypní implementace. Nové rozhraní využívá metodu dělení vstupního XML dokumentu na menší XML dokumenty a dotazování provádí na těchto menších XML dokumentech. Na závěr je nové rozhraní podrobeno řadě experimentů a je srovnáno s existujícím řešením.
|
|
|
Space Naval Combat - Simulátor vesmírných bitev
Krijt, Filip ; Klímek, Jakub (vedoucí práce) ; Malý, Jakub (oponent)
Cílem práce je pokusit se implementovat vesmírnou akční hru Space Naval Combat na platformě .NET a současně prozkoumat, jak se k vývoji her hodí jednotlivé technologie této platformy, konkrétně práce zkoumá technologie Windows Communications Foundation, Windows Presentation Foundation a LINQ to SQL v kombinaci s ASP.NET. Práce rovněž používá open-source knihovnu Lidgren Network, která pracuje nad protokolem UDP, pro komunikaci mezi herním klientem a serverem. Nedílnou součástí je také využití známé fyzikální knihovny nVidia PhysX, přesněji řečeno jejího wrapperu Stilldesign PhysX.NET.
|
|
|
Analyzátor algebraických výrazů
Šudoma, Petr ; Knap, Tomáš (vedoucí práce) ; Klímek, Jakub (oponent)
Cílem této bakalářské práce je analýza problematiky strojových úprav výrazů a návrh programu, který je schopen takové úpravy vykonávat bez zásahu operátora. V první části práce jsou nejprve podrobně analyzovány výrazy, jejich úpravy i cíle takového upravování. Je nalezen a popsán formální jazyk výrazů, je popsána formální sémantika takového jazyka. Druhá část práce je poté věnována konkrétnímu návrhu a implementaci počítačové reprezentace takového jazyka a programu schopného upravovat algebraické výrazy. Obsahuje popis použitých tříd a algoritmů, rozbor možností a zdůvodnění použitých řešení při návrhu tohoto programu.
|
|
|
Similarity of XML Data
Stárka, Jakub ; Holubová, Irena (vedoucí práce) ; Klímek, Jakub (oponent)
V předložné práci studujeme možnosti v oblasti reverzního inženýrství XML schémat. Práce obsahuje základní přehled jazyka XML a běžně použvaných jazyků pro zápis XML schémat, přehled existujících technik pro konceptuální modelováni, reverzní inženýrství a metody pro hledání mapováni mezi XML schématy. Dále práce obsahuje návrh nové metody, založené na analýze konceptuálního modelu XSEM a následném vytvoření rozhodovacího stromu, která umožnuje efektivně najít mapováni z XML schémat na modely XSEM. V práci také ukazujeme novou techniku pro nalezení cesty mezi třídami. V neposlední řadě obsahuje práce několik experimentů, které ukazují výhody a nevýhody navrhovaného řešení.
|
|
|
Tool for Collaborative XML Schema Integration
Meluzín, Jiří ; Nečaský, Martin (vedoucí práce) ; Klímek, Jakub (oponent)
Cílem této práce je vyvinout metodu pro kooperativní tvorbu mapování dvou XML schémat. Přesněji to znamená, že zde bude podpora pro současnou editaci jednoho mapování více uživateli současně prostřednictvím webové aplikace. Metoda bude založena na současných technikách mapování XML schémat, avšak bude kladen důraz zejména na podporu kooperace. Současná editace uživateli bude slučována, resp. preferována podle stanovených kritérií. Nástroj bude také podporovat verzování mapování a návrat k předchozím verzím.
|
|
|
Evoluce XML schémat
Klímek, Jakub
V předložené práci studujeme možnosti v oblasti evoluce XML schémat. Práce obsahuje přehled existujících technik pro konceptuální modelování XML dat, sjednocování schémat a evoluci XML schémat. Je zde prezentována nová poloautomatická technika pro napojení XML schémat na konceptuální model založená na modelu XSEM pro konceptuální modelování XML dat využívajícím MDA, která velmi zjednodušuje a usnadňuje návrh a údržbu sady XML schémat v informačním systému. Dále práce obsahuje sadu evolučních operací, pomocí kterých je možné měnit konceptuální model a změny automaticky propagovat do napojených XML schémat.
|
|
|
Evoluce XML schémat
Klímek, Jakub ; Holubová, Irena (oponent) ; Nečaský, Martin (vedoucí práce)
V předložené práci studujeme možnosti v oblasti evoluce XML schémat. Práce obsahuje přehled existujh technik pro konceptuální modelování XML dat, sjednocování schémat a evoluci XML schémat. Je zde prezentována nová poloautomatická technika pro napojení XML schémat na konceptuální model založená na modelu XSEM pro konceptuální modelování XML dat využívajícím MDA, která velmi zjednodušuje a usnadňuje návrh a údržbu sady XML schémat v informačním systému. Dále práce obsahuje sadu evolučních operací, pomocí kterých je možné měnit konceptuální model a změny automaticky propagovat do napojených XML schémat.
|
|
|
XML Schema Evolution
Malý, Jakub ; Klímek, Jakub (oponent) ; Holubová, Irena (vedoucí práce)
V předložené práci studujeme evoluci XML dat, a především důvody a dopady evoluce XML schémat. Práce obsahuje přehled existujících přístupů. Přístup prezentovaný v této práci rozšiřuje konceptuální model XSem o podporu více verzí systému. Díky tomuto rozšíření lze definovat sadu změn mezi dvěma verzemi. Dále práce obsahuje popis algoritmu, který porovnáním dvou verzí schématu vytvoří revalidační skript v jazyce XSL.
|
host ::
RSS.