Title |
Programinio komponento ontologijos formalioji specifikacija / |
Translation of Title |
Formalisation of the sofware component ontology specification. |
Authors |
Bagušytė, Lina ; Lupeikienė, Audronė |
DOI |
10.15388/LMR.2005.24566 |
Full Text |
|
Is Part of |
Lietuvos matematikos rinkinys. 2005, T. 45, spec, Nr, p. 113-118.. ISSN 0132-2818 |
Keywords [eng] |
Component ; Ontology ; Ontology specification ; Specification formalisation |
Abstract [eng] |
This paper is devoted to the development and specification problems of software component ontology. The formalisation of the proposed component ontology is presented, too. The choice of ontology interpretation is motivated. The paper discusses the content of the ontology specification and its development. The mereological theory of software component, one of the constituent parts of a formal component specification, is presented. |
Type |
Journal article |
Language |
Lithuanian |
Publication date |
2005 |
CC license |
|