A Variability Modeling Method for Adaptable Services in Service-Oriented Computing