支持模型驱动开发的体系结构形式化语义与转换一致性研究
| 摘要 | 第1-16页 |
| ABSTRACT | 第16-21页 |
| 缩略词对照表 | 第21-22页 |
| 第1章 绪论 | 第22-43页 |
| ·研究背景 | 第22-23页 |
| ·相关技术研究 | 第23-39页 |
| ·模型驱动体系结构(MDA) | 第23-28页 |
| ·软件体系结构 | 第28-34页 |
| ·基于UML的软件开发中的一致性问题 | 第34-35页 |
| ·模型转换一致性 | 第35-39页 |
| ·课题的来源及主要研究内容 | 第39-41页 |
| ·课题的来源 | 第39页 |
| ·主要研究内容和创新 | 第39-41页 |
| ·研究意义 | 第41-42页 |
| ·论文的组织 | 第42页 |
| ·小结 | 第42-43页 |
| 第2章 模型转换研究 | 第43-64页 |
| ·模型转换分析 | 第43-46页 |
| ·模型描述语言 | 第44页 |
| ·模型转换的一致性要求 | 第44-45页 |
| ·模型转换过程 | 第45-46页 |
| ·模型转换方法的设计特征 | 第46-48页 |
| ·模型转换方法的分类 | 第48-49页 |
| ·基于概念集重构的模型映射 | 第49-52页 |
| ·模型映射分析 | 第50页 |
| ·概念集重构 | 第50-51页 |
| ·模型映射过程 | 第51-52页 |
| ·结构模型的映射与转换 | 第52-61页 |
| ·结构映射的分类 | 第53-56页 |
| ·UML类模型到C语言模型的映射 | 第56-61页 |
| ·基于体系结构映射的模型转换 | 第61-63页 |
| ·小结 | 第63-64页 |
| 第3章 体系结构模型及其映射的形式化语义 | 第64-104页 |
| ·范畴理论和进程代数 | 第64-70页 |
| ·范畴理论 | 第65-69页 |
| ·进程代数 | 第69-70页 |
| ·体系结构模型的形式化语义 | 第70-88页 |
| ·构件规范 | 第72-79页 |
| ·构件规范态射 | 第79-82页 |
| ·构件模型的层次组合 | 第82-86页 |
| ·体系结构模型 | 第86-88页 |
| ·体系结构模型映射的形式化语义 | 第88-94页 |
| ·构件模型描述之间的映射关系 | 第88-89页 |
| ·Mapping态射 | 第89-91页 |
| ·基本的结构映射关系 | 第91-92页 |
| ·体系结构映射函子 | 第92-94页 |
| ·应用实例研究 | 第94-102页 |
| ·供应链管理系统 | 第94-100页 |
| ·邮件客户端 | 第100-102页 |
| ·相关研究 | 第102-103页 |
| ·小结 | 第103-104页 |
| 第4章 体系结构模型转换的语义一致性研究 | 第104-123页 |
| ·模型转换过程中的语义迁移 | 第104-105页 |
| ·模型转换中的语义特性与特性保持 | 第105-107页 |
| ·语义特性及其保持 | 第105-106页 |
| ·可考察语义特性 | 第106-107页 |
| ·体系结构模型转换的语义一致性 | 第107-112页 |
| ·结构语义 | 第107-109页 |
| ·公理语义 | 第109页 |
| ·端口语义 | 第109-110页 |
| ·行为语义 | 第110-112页 |
| ·应用实例研究 | 第112-122页 |
| ·简单通信系统 | 第112-116页 |
| ·协同编著系统 | 第116-122页 |
| ·小结 | 第122-123页 |
| 第5章 模型驱动方法支撑工具的开发及应用 | 第123-140页 |
| ·平台无关模型的描述方法 | 第123-127页 |
| ·软件体系结构模型描述 | 第123-125页 |
| ·构件模型描述 | 第125-127页 |
| ·面向J2EE平台的模型转换和代码生成 | 第127-135页 |
| ·J2EE目标平台模型 | 第127-129页 |
| ·模型映射关系 | 第129-132页 |
| ·代码生成 | 第132-135页 |
| ·面向ASP.NET平台的模型转换和代码生成 | 第135-139页 |
| ·ASENET目标平台模型 | 第135-136页 |
| ·模型映射关系 | 第136-137页 |
| ·代码生成 | 第137-139页 |
| ·小结 | 第139-140页 |
| 第6章 结论与展望 | 第140-144页 |
| ·本文主要工作总结 | 第140-142页 |
| ·未来工作展望 | 第142-144页 |
| 参考文献 | 第144-156页 |
| 致谢 | 第156-157页 |
| 攻读学位期间发表的学术论文目录 | 第157-159页 |
| 攻读学位期间参与科研项目情况 | 第159-160页 |
| 学位论文评阅及答辩情况表 | 第160-162页 |
| 附录 英文论文 | 第162-188页 |
