Formální zápis softwarového procesu

Abstract

V této bakalářské práci se budeme zabývat formálním popisem softwarových procesů pomocí ontologií. Ontologie jako nástroj určený k reprezentaci znalostí, jsme si vybrali z důvodů, že prostřednictvím jejich popisu definujeme vlastnosti, které v neformálních či semi-formálních specifikacích nezachytíme. Ontologie mají přesně definovanou syntaxi a sémantiku, tudíž se více zaměříme na významy jednotlivých pojmů, vztahů a omezení daného softwarového procesu. Důraz této práce je kladen na to, že po nastudování teoretických poznatků o ontologiích, jazyku OWL, Meta-modelu softwarového procesu, RUP a základních přístupů pro modelování softwarových procesů, budeme schopni realizovat mapování ontologií na softwarové procesy popsány neformálně či semi-formálně. Výsledkem této práce bude optimalizace procesu pomocí vytvoření slovníku pro přepis neformálních či semi-formálních částí softwarového procesu RUP na ontologie.

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.