SLOVAK UNIVERSITY OF TECHNOLOGY IN BRATISLAVA

logike spolu s implementáciou, ktorá prezentuje konkrétne použitie navrhovaných metód. Annotation Model Driven Architecture (MDA) provides a set of metamodel standards as MOF, UML, BPMN, SPEM and others. A metamodel in general makes statements about what can be expressed in the valid models of a certain modeling language. Unfortunately, the mentioned metamodels have semiformal architecture, thus it is not possible to make and to verify created language statements with formal techniques such as the consistency or satisfiability verification. Many research works have proposed solutions that address to this problem with wide range of created formal techniques. Recently, the combination of MDA and the Semantic Web, in which data processing is concerned with regard to their semantics, become the leading subject in this direction. However, the works mostly focus only on UML-OWL relationships, since the possibilities of these languages are similar in context of domain specification. In this thesis, we present an approach of SPEM transformation to the Semantic Web technical space and its utilizations. SPEM is used to define software and systems development processes and their components. The latest version of SPEM 2.0 has defined several new key capabilities such as clear separation of method content definitions from the development process. Since we neither have found a work that presents a comprehensive analysis of the SPEM metamodel in order to transform it to the Semantic Web technical space, nor a SPEM ontology that is conformed to the SPEM metamodel with respect of the SPEM capabilities, we have decided to bridge this gap with our proposal. First we present the creation of a SPEM ontology and then we present its three utilizations that are: a SPEM model validation with ontology, an ontology based approach to project planning and an approach to software project enactment with a supplier. The thesis is supplemented with examples in a description logic with implementation that illustrates the concrete use of proposed methods. enthusiasm and imagination were the most valuable help as I ever got received in my studies. Since I am conscious that it was only fraction what I caught to learn from you, I pray that a future will bring me an additional opportunity. I would also like to thank my chiefs in Datalan, especially: Norbert Lacko, Michal Klačan, Luboš Petrík and Milan Lešták that have allowed me to study, even my activities were not always in day offs. I appreciate it very much and …