摘要

为了研究最先进的模型驱动开发方法,并将之应用于工程,以提高工程的质量和效率,该文采用了Telelogic公司的UML2.0工具Tau Developer,利用其最强大的两个功能——模型验证和代码自动生成,进行了某空间实验设备的热控系统建模设计,实现了模型验证和代码自动生成。