Title: Modeling and Selection of Software Service Variants