1. A method of controlling the operation of system software comprising: generating a plurality of domain level constraints; translating the plurality of domain level constraints into system level constraints; and controlling a system using the system level constraints.