论文部分内容阅读
随着软件设计需求的日益复杂、规模的不断扩大，如何在保证系统可靠性和安全性同时提高软件开发效率，已经成为当前的十分重要的课题。基于MDA的软件开发方法以模型和模型转换为核心组织系统开发，已经成为软件工程领域内重要的研究方向。统一建模语言(UML)的状态机模型则更是得到了广泛的应用。模型驱动软件开发技术包括了建模、模型仿真、模型检查、代码生成等方面。在本文中，设计开发了一个基于状态机模型的仿真系统，提出了一种状态机模型检查技术，给出了UML状态机模型生成可执行的C语言的映射方法。