Modeling and Selection of Software Service Variants