Formální zápis softwarového procesu

Abstract

This thesis will be focused on a formal description of software process. In fact we can describe attributes we are not able to capture in non-formal or semi-formal specification. For that purpose we chose Ontology as a knowledge representation tool. Ontology has exactly defined syntax and semantics, so we can focus on meaning of particular term. After studying theoretical part, in other words OWL language, Meta-model, software process, RUP and basic approaches for modelling software processes, we will be able to realize Ontologies mapping on software processes described in semi-formal or non-formal way. The result of this thesis will be process optimization by creating ontology dictionary for transcription of non-formal or semi-formal parts of RUP software process.