Formalisation of the sofware component ontology specification

Show other versions (1)

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 deve...

Full description

Bibliographic Details
Published in:Lietuvos Matematikos Rinkinys
Main Authors: Lina Bagušytė, Audronė Lupeikienė
Format: Article
Language:English
Published: Vilnius University Press 2005-12-01
Subjects:
component
ontology
ontology specification
specification formalisation
Online Access:https://www.journals.vu.lt/LMR/article/view/24566
Description
Summary: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.
ISSN:0132-2818
2335-898X

Similar Items