Modeling and Composition of Environment-as-a-Service