Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification