层次化建模中状态图建模技术的研究与实现

论文摘要

随着嵌入式技术的高速发展，软件开发的规模也日益扩大，其开发成本也随着软件开发的周期增长而越来越高。为了提高软件开发效率，只有在开发过程中采用创新的方法。为应对新的需求和挑战，业界采取了一系列现代的软件开发技术。其中以模型驱动体系结构最引人瞩目，并且当前很多厂商都提供了模型驱动的开发工具，并使其逐渐走向软件领域的主流，为解决复杂，高可靠的系统软件开发提供了良好的解决方案。本文针对多平台多处理器的特点及建模技术，研究并实现了一种适合该平台的建模工具。然后以该建模工具为背景，分析该领域的软件特征，在研究了状态图语义以及代码生成技术后，设计了适合于该平台的状态图模型，进而生成可以直接运行的状态图代码结构。并依照该代码结构，实现了对状态图的多平台仿真以及状态图的文档生成。实践表明，该工具具有良好的实用性以及有效性，并可以应用于大型系统的设计开发之中。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 项目背景
• 1.2 国内外发展现状
• 1.3 论文的主要工作
• 1.4 论文的章节安排
• 第二章 相关技术概述
• 2.1 模型驱动体系结构
• 2.1.1 MDA 的基本概念
• 2.1.2 MDA 的基本框架
• 2.1.3 MDA 的开发方法
• 2.1.4 MDA 的优势
• 2.2 状态图
• 2.2.1 状态
• 2.2.2 迁移
• 2.2.3 进入与退出动作
• 2.2.4 事件处理机制
• 2.3 代码生成技术
• 2.3.1 代码生成器模型
• 2.3.2 代码生成的衡量指标
• 2.3.3 代码生成的应用领域
• 2.3.4 代码生成的优点
• 2.4 本章小结
• 第三章 工具总体框架分析与设计
• 3.1 工具目标及开发方法
• 3.1.1 实现目标及准则
• 3.1.2 整体功能
• 3.1.3 开发方法
• 3.1.4 开发环境
• 3.2 工具总体设计
• 3.2.1 目标机嵌入软件建模
• 3.2.2 模型验证
• 3.2.3 构件管理
• 3.2.4 代码生成
• 3.3 本章小结
• 第四章 状态图详细设计与实现
• 4.1 状态图总体设计
• 4.1.1 模型设计
• 4.1.2 状态迁移设计
• 4.1.3 多平台状态图设计
• 4.1.4 状态图存储结构
• 4.2 状态图代码生成器设计
• 4.3 状态图源代码文件的设计与实现
• 4.3.1 状态图生成代码设计
• 4.3.2 状态图命名及注释规则
• 4.3.3 源文件生成流程
• 4.4 状态图文件组织结构
• 4.4.1 建模工程文件生成方式
• 4.4.2 状态图文件生成方式
• 4.4.3 文件包含关系
• 4.5 本章小结
• 第五章 状态图仿真以及文档生成
• 5.1 状态图仿真
• 5.1.1 整体功能介绍
• 5.1.2 状态图仿真框架
• 5.1.3 状态图仿真流程
• 5.1.4 关键类的设计与实现
• 5.2 状态图文档生成
• 5.2.1 整体功能介绍
• 5.2.2 文档生成整体框架
• 5.2.3 关键类的设计与实现
• 5.3 本章小结
• 第六章 工具验证与测试
• 6.1 实例验证
• 6.2 本章小结
• 结束语
• 致谢
• 参考文献