基于MDA的软件建模技术研究计算机软件与理论专业论文.docxVIP

重庆大 重庆大学硕士学位论文 英文摘要 information and provide the ability of auto-collecting dynamic information. And the method use fuzzy pattern recognition to identify the crosscutting concerns. Keywords: Model Driven Architecture, B method, Model transform, AOP III 重庆大 重庆大学硕士学位论文 目录 PAGE PAGE iv 目 录 中文摘要I 英文摘要 II HYPERLINK \l _bookmark0 1 绪 论 1 HYPERLINK \l _bookmark1 1.1 研究工作的背景和意义 1 HYPERLINK \l _bookmark3 1.2 研究工作的内容 3 HYPERLINK \l _bookmark4 1.3 论文的结构和主要内容 3 HYPERLINK \l _bookmark5 2 模型驱动架构 4 HYPERLINK \l _bookmark6 2.1 MDA 基本概念 4 HYPERLINK \l _bookmark7 2.1.1 模型和元模型 5 HYPERLINK \l _bookmark8 2.1.2 平台无关模型和平台相关模型 5 HYPERLINK \l _bookmark9 2.1.3 模型变换 6 HYPERLINK \l _bookmark10 2.2 MDA 的基本框架 7 HYPERLINK \l _bookmark11 2.3 MDA 软件生命周期 7 HYPERLINK \l _bookmark12 2.4 MDA 软件开发方法优势 8 HYPERLINK \l _bookmark13 2.5 本章小结 9 HYPERLINK \l _bookmark14 3 MDA 的核心技术 10 HYPERLINK \l _bookmark15 3.1 统一建模语言 10 HYPERLINK \l _bookmark17 3.2 源对象设施 11 HYPERLINK \l _bookmark18 3.3 XMI 元数据交换 11 HYPERLINK \l _bookmark19 3.4 公共仓库元模型 12 HYPERLINK \l _bookmark20 3.5 QVT 规范 12 HYPERLINK \l _bookmark21 3.6 本章小结 13 HYPERLINK \l _bookmark22 4 基于形式化方法的 MDA 需求建模 14 HYPERLINK \l _bookmark23 4.1 基本模型分类法 14 HYPERLINK \l _bookmark24 4.2 改进的 MDA 过程 14 HYPERLINK \l _bookmark26 4.3 形式化方法 15 HYPERLINK \l _bookmark27 4.4 B 方法 16 HYPERLINK \l _bookmark29 4.5 使用 B 方法描述需求 16 HYPERLINK \l _bookmark30 4.6 需求模型到 PIM 的转换 20 HYPERLINK \l _bookmark31 4.6.1 对机器名的转换 21 HYPERLINK \l _bookmark32 4.6.2 将机器的状态转换为类的属性 21 HYPERLINK \l _bookmark33 4.6.3 将机器的操作转换为类的方法 21 HYPERLINK \l _bookmark34 4.7 PIM 到需求模型的转换 22 PAGE PAGE vi HYPERLINK \l _bookmark35 4.7.1 转换类名称 22 HYPERLINK \l _bookmark36 4.7.2 转换类属性 22 HYPERLINK \l _bookmark37 4.7.3 转换类操作 23 HYPERLINK \l _bookmark38 4.7.4 对关联的处理 24 HYPERLINK \l _bookmark39 4.7.5 对泛化的处理 25 HYPERLINK \l _bookmark40 4.8 本章小结 26 HYPERLINK \l _bookmark41 5 MDA 模型转换 27 HYPERLINK \l _bookmark42 5.1 模型转换的概念 27 HYPERLINK \l _bookmark43 5