Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation

Hinrich, Tim ; Love, Nathaniel ; Petrie, Charles ; Ramshaw, Lyle ; Sahai, Akhil ; Singhal, Sharad

HP Development Company

关键词: constraint satisfaction;    configuration generation;    utility computing;    CIM;   

RP-ID  :  HPL-2004-141

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system configurations is required to allow large-scale deployment of custom applications within utility computing environments. Our approach models the configuration management problem as an Object-Oriented Constraint Satisfaction Problem (OOCSP) that can be solved efficiently using a resolution-based theorem prover. We outline the approach and discuss both the benefits of the approach as well as its limitations, and highlight certain unresolved issues that require further work. We demonstrate the viability of this approach using an e-Commerce site as an example, and provide results on the complexity and time required to solve for the configuration of such an application. Notes: Copyright Springer-Verlag. To be published in the 15th IFIP/IEEE Distributed Systems: Operations and Management, 15-17 November 2004, Davis, CA, USA 12 Pages