Modeling Hierarchies in SADL-Based Services