Modeling and Managing Variability in Process-Based Service Compositions · Study