基于状态机的模型驱动软件开发技术研究
随着软件设计需求的日益复杂、规模的不断扩大，如何在保证系统可靠性和安全性同时提高软件开发效率，已经成为当前的十分重要的课题。基于MDA的软件开发方法以模型和模型转换为核心组织系统开发，已经成为软件工程领域内重要的研究方向。统一建模语言(UML)的状态机模型则更是得到了广泛的应用。模型驱动软件开发技术包括了建模、模型仿真、模型检查、代码生成等方面。在本文中，设计开发了一个基于状态机模型的仿真系统，提出了一种状态机模型检查技术，给出了UML状态机模型生成可执行的C语言的映射方法。
模型驱动架构 UML状态机 模型仿真 代码生成
宋文鹏 侯敏 何瑞 贺红卫
航天科工集团706所 北京 100854
国内会议
宁波
中文
128-135
2010-09-01（万方平台首次上网日期，不代表论文的发表时间）