Grafický editor návrhových modelů

Abstract

Práca je zameraná na riešenie problému grafického editovania návrhových modelov, konkrétne Objektovo orientovanej Petriho siete. Existujú nástroje pre editovanie objektovo orientovanej Petriho siete ale neexistuje nástroj, ktorý by poskytoval plnohodnotnú prácu so simulačnými triedami. Táto práca ponúka vytvorený nástroj, ktorý je implementovaný v prostredí Pharo a využíva knižnicu Morphic. Vytvorený nástroj umožňuje vytvoriť Objektovo orientovanú Petriho sieť, ktorú užívateľ môže modifikovať. Užívateľ si môže vzniknutú sieť exportovať do formátu SVG alebo PNG. Nástroj takisto umožňuje aj ukladanie a načítanie objektovo orientovanej Petriho siete. Nástroj poskytuje užívateľovi aj syntaktickú kontrolu.The thesis is aimed at the solution of graphical editing for design models, especially Object-oriented Petri nets. There are many tools for editing Object-oriented Petri nets, but none of these support complete cooperation with simulation classes. This thesis offers created tool, which is implemented in the Pharo environment and uses the Morphic library. The created tool enables users to create or modify Object-oriented Petri net. Users can export created net to SVG or PNG format. The tool also enables the saving and loading of Object-oriented Petri net. The tool provides syntax check to the user.