A self-adaptive software architecture can alter its behavior and structure during run-time in order to achieve its objectives. It may change its requirements according to its environment. It adapts itself in response to changes that are difficult to predict before deployment. This paper presents a new approach that maintains the coherence, adequacy, and consistency of self-adaptive software architecture. It ensures that the software architecture conforms to the requirements specification according to functional and non-functional properties. The proposed approach uses mainly the meta-model, CSP, graph, and automata concepts to specify the behavior, structure, functional, and non-functional properties of a software architecture. After each adaptation or change in the software, a verification and validation process is performed. It is ensured by the use of the UPPAAL model checker tool, which aims at checking the coherence of the software architecture before adaptation. Finally, we have proposed a framework that implements all the proposed concepts.