Towards a Formal Design to Service-Oriented Cloud Manufacturing