Dp 223 cz
Editor pro Stochastické Petriho sítě na WWW pomocí Java technologií
Autor: Šremer Martin
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.
- Šremer Martin, mailto:msremer@wo.cz, www