X语言解释器承担着将X语言构建的模型解释为底层仿真器可执行代码的任务,是实现X语言全流程验证的有效工具。由于X语言所具备的支持多领域建模的能力,所以在语言设计时包括了基于等式以及基于过程两种设计思想,因为两种方法对应的解释器设计思路的不一致,导致X语言的解释器设计存在先天性的困难。 本项目基于常用的编程语言解释器设计方案以及基于方程的建模语言解释器设计方案展开对X语言解释器的构建,结合现有的词法、语法解析工具,完成对X语言语义设计中对连续、离散以及智能体等多领域模型解析工具的设计。并基于设计的工具展开总体性验证实验,实现解释器对多领域模型的合理解析。