Modeling Variability in the Software Product Line Architecture of Distributed Services