A Logic for Graphs with QoS