A QoS policy configuration modeling language for publish/subscribe middleware platforms