Formální modelování softwarových procesů

Abstract

In this thesis, I have focused on the issue of ontologies, and their use as a tool for knowledge representation in applications focusing on artificial intelligence, expert systems or for formal modelling software processes. This text describes the general descriptive characteristics of ontologies and their benefits. This work is also focused on creating graphical editor not only software processes based on ontology technology. Editor framework is based on GMF, and is being developed as a plugin to Eclipse integrated development environment.