Abstract: In order to research the most advanced method of model-driven development and apply it to projects to improve quality and efficiency of projects, this paper uses the UML2.0 tool Tau developer of telelogic corporation, which has two powerful functions——model verification and code generation automatically, models and designs a temperature controlling system of some space testing devices, and realizes model verification and code generation automatically.

Key words: UML, Model-driven architecture (MDA), Model-driven development, Model verification, Code auto-generation

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

关键词: UML, 模型驱动架构, 模型驱动开发, 模型验证, 代码自动生成

CLC Number: 

• TP311