Verifikace OntoUML modelů na platformě OpenPonk

Abstract

Tato práce se zaměřuje na vytvoření nového frameworku, který bude použit pro verifikaci OntoUML modelů na platformě OpenPonk. Pro to je nutné nejdříve popsat a analyzovat jazyk OntoUML a platformu OpenPonk. Na základě této analýzy jsou následně vytvořeny dva návrhy verifikačního frameworku. Dle lepšího z nich je framework následně implementován. Veškerý nový kód je zdokumentovván a jsou pro něj vytvořeny testy. Na závěr je celý framework demonstrován na referenčním modelu.

This work focuses on creation of new verification framework that will be used for verification of OntoUML model on OpenPonk platform. It is necessary to describe and analyse OntoUML language and OpenPonk platform. Using this analysis two designs are created for the verification framework. The better one is then selected and implemented. All new code is documented and unit test are created for him. Finally entire framework is demonstrated on reference model.