发送短信: Optimizing Automatic Deployment Using Non−Functional Requirement Annotations