This study uses systematic evaluation method and meta-analysis method to compare and analyze the effect of gamification teaching and traditional teaching in order to obtain more scientific conclusions. This paper expounds the design of the algorithm-based animation-assisted teaching platform "Xiaohuaya", describes its teaching practice process, and verifies whether this method can stimulate students' interest in exploring and learning, and reduce teachers' teaching workload. The research explores the formal modeling and verification of service combination. and model-driven visualization techniques. Using the modeling method based on behavior description language, the test results show that the 16 classic experimental algorithms of artificial intelligence courses included in the platform can be clearly and dynamically demonstrated.