A Framework for Requirements Decomposition, SLA Management and Dynamic System Reconfiguration