|
|
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.
|
|
|
Profiling translation of conceptual schemas to XML schemas
Berka, Lukáš ; Nečaský, Martin (vedoucí práce) ; Holubová, Irena (oponent)
Práce se zabývá analýzou algoritmu pro převod konceptuálních schémat do XML schémat v jazyce XML Schema, který byl uveden v [4]. Snažíme se najít nedostatky tohoto algoritmu a také hledáme parametry, kterými by bylo možné jeho běh ovlivnit. Na základě zjištěných poznatků poté navrhujeme jeho vylepšení. Uvádíme také tzv. Koncept profilování překladu. Tento koncept je založen na množině parametrů, zvané konfigurace. Původní algoritmus je podle něj upraven tak, aby zohledňoval požadavky, které uživatel zadá skrze svou konfiguraci. Díky všem našim úpravám je algoritmus schopný pracovat se jmennými prostory XML, s návrhovými vzory pro jazyk XML Schema a ve svém výstupu omezuje výskyt určitých typů redundancí. Úkol omezit redundance ve výstupu algoritmu je důležitou součástí této práce a proto vytváříme formální model, který nám s řešením tohoto problému velmi pomáhá.
|
|
|
Konceptuální návrh webových formulářů
Kasarda, Ján
S nárastom zložitosti webových aplikácii a software obecne rastie aj prínos použitia modelovacých techník. V tejto práci sa sústredime na modelovanie webových formulárov. Krátkym motivačným príkladom ukážeme výhody modelovania na konceptuálnej úrovni. Zhrnieme existujúce prístupy ku konceptuálnemu modelovaniu, ktoré sú založené na UML a MDA. Predstavíme technológiu XForms. V poslednej časti predstavíme modelovanie webových formulárov na konceptuálnej úrovni a spôsob prekladu konceptuálneho modelu na XForms. Náš prístup je založený na princípoch MDA. Cieľová doména je v prvom kroku modelovaná na konceptuálnej úrovni. V druhom kroku sú modelované jednotlivé časti bez závislosti na cieľovej technologii. Posledným krokom je generovanie XForms reprezentácie modelovaných formulárov.
|
|
|
Modelování událostí na sémantickém webu
Hanzal, Tomáš ; Svátek, Vojtěch (vedoucí práce) ; Vacura, Miroslav (oponent)
Na sémantickém webu je mnoho ontologií a datasetů, které se zmiňují o událostech. Události jsou důležité pro naše vnímání světa i jeho popisování, a proto i pro sémantický web. Přitom není jediný nejlepší způsob jak je modelovat. To souvisí s tím, že i k otázce, co to události jsou, lze přistupovat různě. Naším cílem je lépe porozumět tomu, jak jsou události na sémantickém webu reprezentovány a co by na tom bylo možné vylepšit. Kvůli tomu se nejprve zabýváme způsoby, kterými jsou události pojímány ve filosofii a v obecných (foundational) ontologiích. Ptáme se mimo jiné na to, co nazýváme událostmi, jaký ontologický statut událostem přisuzujeme a zda a jak lze události odlišit od jiných entit jako jsou situace. Poté se přesuneme k empirické analýze jednotlivých ontologií pro modelování událostí na sémantickém webu. V této analýze zjistíme, co se obvykle na sémantickém webu nazývá událostmi (a jaké druhy událostí se zde vyskytují). Pro kritické zhodnocení těchto ontologií využíváme poznatky z filosofie událostí. Ukazujeme jejich problémy a naznačujeme cesty k jejich řešení.
|
host ::
RSS.