Theoretical problems of component-based structural synthesis
The Structural Synthesis of Programs (SSP) method is based on the idea that programs can be constructed taking into account only their structural properties. This method has been successfully used to synthesise structural and object-oriented programs. This paper presents the research on the SSP 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/26565 |
_version_ | 1797194495978110976 |
---|---|
author | Vaidas Giedrimas Audronė Lupeikienė |
author_facet | Vaidas Giedrimas Audronė Lupeikienė |
author_sort | Vaidas Giedrimas |
collection | DOAJ |
description |
The Structural Synthesis of Programs (SSP) method is based on the idea that programs can be constructed taking into account only their structural properties. This method has been successfully used to synthesise structural and object-oriented programs. This paper presents the research on the SSP in the component based environment. It discuses the possibility of SSP method application to software synthesis from components and shows the main problems: problem of the specification, problem of reusable components and problem of undefined components. The possible solutions to those problems are provided too.
|
first_indexed | 2024-03-07T15:41:07Z |
format | Article |
id | doaj.art-e6629063b33a42f2b50df17084d35523 |
institution | Directory Open Access Journal |
issn | 0132-2818 2335-898X |
language | English |
last_indexed | 2024-04-24T05:57:12Z |
publishDate | 2005-12-01 |
publisher | Vilnius University Press |
record_format | Article |
series | Lietuvos Matematikos Rinkinys |
spelling | doaj.art-e6629063b33a42f2b50df17084d355232024-04-23T09:01:45ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2005-12-0145spec.10.15388/LMR.2005.26565Theoretical problems of component-based structural synthesisVaidas Giedrimas0Audronė Lupeikienė1Institute of Mathematics and InformaticsInstitute of Mathematics and Informatics The Structural Synthesis of Programs (SSP) method is based on the idea that programs can be constructed taking into account only their structural properties. This method has been successfully used to synthesise structural and object-oriented programs. This paper presents the research on the SSP in the component based environment. It discuses the possibility of SSP method application to software synthesis from components and shows the main problems: problem of the specification, problem of reusable components and problem of undefined components. The possible solutions to those problems are provided too. https://www.journals.vu.lt/LMR/article/view/26565component-based software engineeringstructural synthesisformal methods |
spellingShingle | Vaidas Giedrimas Audronė Lupeikienė Theoretical problems of component-based structural synthesis Lietuvos Matematikos Rinkinys component-based software engineering structural synthesis formal methods |
title | Theoretical problems of component-based structural synthesis |
title_full | Theoretical problems of component-based structural synthesis |
title_fullStr | Theoretical problems of component-based structural synthesis |
title_full_unstemmed | Theoretical problems of component-based structural synthesis |
title_short | Theoretical problems of component-based structural synthesis |
title_sort | theoretical problems of component based structural synthesis |
topic | component-based software engineering structural synthesis formal methods |
url | https://www.journals.vu.lt/LMR/article/view/26565 |
work_keys_str_mv | AT vaidasgiedrimas theoreticalproblemsofcomponentbasedstructuralsynthesis AT audronelupeikiene theoreticalproblemsofcomponentbasedstructuralsynthesis |