Dp 223 cz

Z DCEwiki
Verze z 20. 8. 2014, 12:16, kterou vytvořil Sturcmar (diskuse | příspěvky) (Kategorizace anotací.)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Skočit na navigaci Skočit na vyhledávání

Editor pro Stochastické Petriho sítě na WWW pomocí Java technologií

Autor: Šremer Martin

Diplomové práce 2006

Stáhnout práci v PDF

223img.gif

Tato práce pojednává o návrhu a implementaci obecného editoru grafů pro WWW a jeho specializaci na Stochastické časované Petriho sítě. Typ editovaného grafu, styl zobrazení a datový formát pro jeho perzistentní uložení definuje až uživatel pomocí XML dokumentu. Editor umožňuje nadefinovat libovolný počet typů vrcholů, hran a na ně navázaných informací databázového charakteru (tzv. vlastnosti). Zároveň uživatel předepíše tvary použité pro zobrazení vrcholů, typ křivek představujících hrany a způsob zobrazení vlastností. Editovaný graf je ukládán nebo načítán z nebo do XML dokumentu, jeho strukturu se editor "naučí" z Relax NG schématu. To je základem výše zmíněného XML dokumentu, z něhož jsou načteny definice typu grafu. Obecnost editoru je demonstrována na Petriho sítích a grafu představujícího rodokmen. Pro implementaci byla zvolena Java. Program může být vložen do HTML stránky jako Java applet i používán jako desktopová aplikace.

Dp 2006 sremer martin.pdf