• 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