Modeling and managing the variability of Web service-based systems