Constraint-Based Specifications For System Configuration