文摘
英文文摘
论文说明:缩略词对照表
声明
第1章绪论
1.1研究背景
1.2相关技术研究
1.2.1模型驱动体系结构(MDA)
1.2.2软件体系结构
1.2.3基于UML的软件开发中的一致性问题
1.2.4模型转换一致性
1.3课题的来源及主要研究内容
1.3.1课题的来源
1.3.2主要研究内容和创新
1.4研究意义
1.5论文的组织
1.6小结
第2章模型转换研究
2.1模型转换分析
2.1.1模型描述语言
2.1.2模型转换的一致性要求
2.1.3模型转换过程
2.2模型转换方法的设计特征
2.3模型转换方法的分类
2.4基于概念集重构的模型映射
2.4.1模型映射分析
2.4.2概念集重构
2.4.3模型映射过程
2.5结构模型的映射与转换
2.5.1结构映射的分类
2.5.2 UML类模型到C语言模型的映射
2.6基于体系结构映射的模型转换
2.7小结
第3章 体系结构模型及其映射的形式化语义
3.1范畴理论和进程代数
3.1.1范畴理论
3.1.2进程代数
3.2体系结构模型的形式化语义
3.2.1构件规范
3.2.2构件规范态射
3.2.3构件模型的层次组合
3.2.4体系结构模型
3.3体系结构模型映射的形式化语义
3.3.1构件模型描述之间的映射关系
3.3.2 Mapping态射
3.3.3基本的结构映射关系
3.3.4体系结构映射函子
3.4应用实例研究
3.4.1供应链管理系统
3.4.2邮件客户端
3.5相关研究
3.6小结
第4章 体系结构模型转换的语义一致性研究
4.1模型转换过程中的语义迁移
4.2模型转换中的语义特性与特性保持
4.2.1语义特性及其保持
4.2.2可考察语义特性
4.3体系结构模型转换的语义一致性
4.3.1结构语义
4.3.2公理语义
4.3.3端口语义
4.3.4行为语义
4.4应用实例研究
4.4.1简单通信系统
4.4.2协同编著系统
4.5小结
第5章模型驱动方法支撑工具的开发及应用
5.1平台无关模型的描述方法
5.1.1软件体系结构模型描述
5.1.2构件模型描述
5.2面向J2EE平台的模型转换和代码生成
5.2.1 J2EE目标平台模型
5.2.2模型映射关系
5.2.3代码生成
5.3面向ASP.NET平台的模型转换和代码生成
5.3.1 ASP.NET目标平台模型
5.3.2模型映射关系
5.3.3代码生成
5.4小结
第6章结论与展望
6.1本文主要工作总结
6.2未来工作展望
参考文献
致谢
攻读学位期间发表的学术论文目录
攻读学位期间参与科研项目情况及获奖状况
附录英文论文
英文论文一
英文论文二