Formalisation of the sofware component ontology specification
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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2005-12-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Subjects: | |
| Online Access: | https://www.journals.vu.lt/LMR/article/view/24566 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832593229019611136 |
|---|---|
| author | Lina Bagušytė Audronė Lupeikienė |
| author_facet | Lina Bagušytė Audronė Lupeikienė |
| author_sort | Lina Bagušytė |
| collection | DOAJ |
| description |
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.
|
| format | Article |
| id | doaj-art-e2b9f0c76331461597742bbed3cf433e |
| institution | Kabale University |
| issn | 0132-2818 2335-898X |
| language | English |
| publishDate | 2005-12-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Lietuvos Matematikos Rinkinys |
| spelling | doaj-art-e2b9f0c76331461597742bbed3cf433e2025-01-20T18:16:05ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2005-12-0145spec.10.15388/LMR.2005.24566Formalisation of the sofware component ontology specificationLina Bagušytė0Audronė Lupeikienė1Institute of Mathematics and InformaticsInstitute of Mathematics and Informatics 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. https://www.journals.vu.lt/LMR/article/view/24566componentontologyontology specificationspecification formalisation |
| spellingShingle | Lina Bagušytė Audronė Lupeikienė Formalisation of the sofware component ontology specification Lietuvos Matematikos Rinkinys component ontology ontology specification specification formalisation |
| title | Formalisation of the sofware component ontology specification |
| title_full | Formalisation of the sofware component ontology specification |
| title_fullStr | Formalisation of the sofware component ontology specification |
| title_full_unstemmed | Formalisation of the sofware component ontology specification |
| title_short | Formalisation of the sofware component ontology specification |
| title_sort | formalisation of the sofware component ontology specification |
| topic | component ontology ontology specification specification formalisation |
| url | https://www.journals.vu.lt/LMR/article/view/24566 |
| work_keys_str_mv | AT linabagusyte formalisationofthesofwarecomponentontologyspecification AT audronelupeikiene formalisationofthesofwarecomponentontologyspecification |