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

Abstract

V této diplomové práci jsem se zaměřil na problematiku Ontologií, a na jejich využití jako nástroj pro reprezentaci znalostí v aplikacích zaměřujících se na umělou inteligenci, expertní systémy či pro formální modelování softwarových procesů. Tento text popisuje široké popisné vlastnosti ontologií a jejich přínos. Tato práce je dále zaměřena na tvorbu grafického editoru nejen softwarových procesů založený na technologii Ontologií. Editor je založen na frameworku GMF, a je vyvíjen jako plugin do integrovaného vývojového prostředí Eclipse.

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.