Abstract: In order to solve the problems of code crosscutting and code tangling resulting from the crosscut of concerns, this paper proposed an aspectoriented software design method based on Statecharts, and further verified the effective of weaving process by utilizing lineartime temporal logic. Furthermore, in order to verify whether the intervention of aspect Statecharts destroys the certain behaviors of base Statechart, this paper introduced the extended hierarchical automaton to explain the operational semantics of aspectoriented Statechart, and described the key properties of software system by utilizing the lineartime temporal logic. Finally, a case study demonstrated the feasibility of the proposed method.