The authors propose a scheme of Flash movie Automatic Marking based on animation effects and describe the question's Marking information by using the logical formal method.Achieve automatic Marking by building the logical formal system. This paper focuses on three components of the scheme: logical formal description, SWF to XML and automatic marking. It describes the whole process of logical formal Marking with example. The analysis of manual and automatic Marking shows that: logical Formal automatic Marking is better than the average artificial error and close to the minimum artificial error.