A Model-based Framework for System Configuration Management