Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation

In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow large -scale deployment of custom applications within utility computin g environments. Our approach models the co nfiguration management problem as an Object -Oriented Constraint Satisfaction Problem (OOCSP) that can be solved efficiently using a resolution -based theoremprover. We outline the approach and discuss both the bene fits of the approach as well as its limitations, and hig hlight certain unresolved issues that require further work. We demonstrate the viability of this a pproach using an eCommerce site as an example, and provide results on the complexity and time required to solve for the configuration of such an applic ation.

• Type: Conference
• Year: 2004
• Where: DSOM
• Authors: Tim Hinrichs, Nathaniel Love, Charles J. Petrie, Lyle Ramshaw, Akhil Sahai, Sharad Singhal
• Keywords: -oriented Constraint Satisfaction, DSOM 2004, Large -scale Deployment, Resolution -based Theoremprover