A Formal Approach to Microservice Architecture Deployment