DocumentCode
1850066
Title
Improving Component Dependency Resolution with Soft Constraints, Validation and Verification
Author
Jenson, Graham D.
Author_Institution
Sch. of Eng. & Adv. Technol., Massey Univ., Palmerston North, New Zealand
fYear
2009
fDate
16-20 Nov. 2009
Firstpage
716
Lastpage
720
Abstract
Software components are encapsulated units of execution which express dependencies through explicitly stated requirements and capabilities. These are used within component repositories to resolve sub-systems of deployable components. The main problem with this dependency resolution is not the lack of available solutions but the excess of them. Within current repositories the returned solution may not be optimal for the composers requirements and context. Improving dependency resolved solutions from repositories using soft constraints with validation and verification is the topic of our Ph.D. and discussed within this paper.
Keywords
constraint handling; formal verification; object-oriented programming; software engineering; component dependency resolution; deployable components; soft constraints; software components; validation; verification; Availability; Cost function; Delay; Licenses; NP-complete problem; Packaging; Quality of service; Runtime; Software engineering; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2009. ASE '09. 24th IEEE/ACM International Conference on
Conference_Location
Auckland
ISSN
1938-4300
Print_ISBN
978-1-4244-5259-0
Electronic_ISBN
1938-4300
Type
conf
DOI
10.1109/ASE.2009.28
Filename
5431698
Link To Document