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
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;
Conference_Titel :
Automated Software Engineering, 2009. ASE '09. 24th IEEE/ACM International Conference on
Conference_Location :
Auckland
Print_ISBN :
978-1-4244-5259-0
Electronic_ISBN :
1938-4300
DOI :
10.1109/ASE.2009.28