Vizualizace instancí OntoUML modelů

Abstract

Práca si kladie za cieľ implementáciu dvoch nových editorov na modelovanie OntoUML diagramov a OntoUML inštančných diagramov. Riešenie bude postavené na frameworku DynaCASE, ktorý je implementovaný v jazyku Smalltalk a virtuálnom stroji Pharo. Editory budú schopné vytvorené diagramy zobrazovať a validovať. OntoUML diagram bude validovaný podľa platných syntaktických pravidiel a inštancný diagram podľa napojeného OntoUML diagramu. Implementovaná bude aj podpora overovania integritných obmedzení na úrovní inštancií. Validácia a niektoré ďalšie dôležité funkcie budú demonštrované na príkladoch vytvorených priamo vo virtuálnom stroji Pharo.Main goal of this thesis is to implement two new editors for modeling OntoUML diagrams and OntoUML instance diagrams. The solution will be based on DynaCASE framework that is implemented in Smalltalk language and virtual machine Pharo. OntoUML diagram will be validated according to OntoUML syntax rules and instance diagram according to connected OntoUML diagram. Implementation will include verification of the integrity constraints at instances. Validation and some other important features will be demonstrated in the examples created directly in a virtual machine Pharo.