The invention provides an implementation method of a formal semantic integration framework for model transformation of a numerical control system. According to the method, the formal semantic integration framework of the numerical control system is built, a field application model obtained by instantiation of a field meta-model can be transformed into a formal application model automatically through the integration framework, then the formal application model can be imported into a third party simulation verification tool for formal verification through a tool interpreter, or the formal application model can generate executable codes for a specific target platform through a code automatic generation interpreter. The method provides a strictly-defined formal specification for numerical control system development in order to accurately describe corresponding operational semantics of the system, so that precision verification can be performed on a numerical control system model through a computer tool, and system performances, such as reliability, security, etc., are greatly improved.