Title: Service Management and Scheduling in Cloud Manufacturing