In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as early as possible. Therefore, appropriate architectural transformations have to be applied in the design phase in case the non-functional properties do not fulfill their requirements. As the selection and application of appropriate architectural transformations is a time consuming task and demands for personal effort, there is the idea to automate the architecture evolution process. In this paper, we outline our hypergraph-based approach towards automating the architecture evolution process and propose an algorithm that proves the behavioral equivalence of the architecture before and after a transformation.