A service manager for building PaaS deployments