Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design