Pattern based Declarative Constraint Solution for Model-Driven Service Deployment | IEEE Conference Publication | IEEE Xplore