基于模型集成计算的代码解释器的研究

摘要

随着信息技术的发展，人们对软件的需求越来越大，质量要求越来越高，因此缩短软件生产周期和提高软件正确性已经成为了软件开发者迫切需要解决的问题。为了寻求软件开发方法上的突破，以模型为驱动的软件开发理念被提出，该理念为解决软件危机提供了新思路，开辟了软件开发模式由传统的以代码为中心向以模型为中心转变的新时期。
　　 模型集成计算专注于模型的表示、组成、分析和控制，模型贯穿于系统开发的整个生命周期，是实现系统的设计、开发、验证、集成和维护的核心。模型集成计算通过建模语言的语法来抽象领域内的共性和不变性，领域应用的多样化则由模型的定制来实现。经过多年的发展，模型集成计算已经在系统开发中体现了自身的优势，在面向领域的系统开发中具有良好的应用前景。
　　 本文在深入研究基于模型集成计算理论的开发过程的基础上，提出了一种基于领域模型的代码解释器的设计方法。代码解释器的输入是领域模型，生成中间产物PIM，然后结合模板文件和配置文件，最后生成源代码。
　　 本文采用通用建模环境作为开发工具，构建了叫号系统的元模型和领域模型，设计了基于叫号系统领域的代码解释器，最后应用代码解释器实现了叫号系统的代码自动生成。最后通过修改领域模型，再次启动代码解释器自动生成了修改后的系统，验证了基于模型集成计算理论的系统开发过程。

目录

文摘

英文文摘

第一章 绪论

1.1 研究背景

1.2 研究内容

1.3 本文组织结构

第二章 相关技术背景

2.1 模型驱动架构

2.1.1 MDA开发过程

2.1.2 MDA的优点

2.2 面向领域建模

2.2.1 领域建模开发过程

2.2.2 领域建模开发过程

2.3 代码自动生成技术

2.4 本章小结

第三章 基于模型集成计算的软件开发

3.1 模型集成计算

3.1.1 模型集成计算架构

3.1.2 模型集成计算开发过程

3.1.3 领域建模语言

3.1.4 模型解释器

3.1.5 模型集成计算与模型驱动的比较

3.2 通用建模环境简介

3.3 GME元建模和领域建模

3.4 GME高级组件接口

3.4.1 GME模型访问接口

3.4.2 基于GME的模型解释器开发流程

3.5 本章小结

第四章 领域模型代码解释器的研究

4.1 代码解释器架构

4.2 领域模型到平台无关模型的转换

4.2.1 平台无关模型

4.2.2 基于领域模型转换的PIM设计

4.2.3 领域模型到PIM的转换规则

4.2.4 MON接口功能

4.2.5 实现领域模型转换的接口访问方法

4.3 基于PIM的代码自动生成

4.3.1 模板文件

4.3.2 配置文件

4.3.3 DOM解析PIM

4.3.4 代码生成的实现流程

4.4 本章小结

第五章 领域模型代码解释器应用实例

5.1 叫号系统

5.2 叫号系统元模型

5.3 叫号系统领域模型

5.4 叫号系统的代码自动生成

5.4.1 遍历领域模型

5.4.2 领域模型转换的实现

5.4.3 代码生成的实现

5.5 模型集成计算开发过程的验证

5.6 本章小结

第六章 总结与展望

致谢

参考文献

附录