针对应用系统ER模型的MDA模型转换方法
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
关键词 Ｍ Ｄ 模 型 转 换 ， Ｄ（ 设 计 模 式 Ａ， Ｅ ） Ｃ，
Ｍ ＤＡ ｏ ｌＴｒ ｎ ｆ ｍａ ｉｎ ｅｈｏｉ ｏ Ｍ ｄｅ ａ ｓ ｏｒ ｔｏ Ｍ ｔ ｔ ｆ ｒ ＥＤＯＣ ｓ ＥＲ ｏ ｅｓ Ｍ ｄ ｌ ＪＡＮＧ ａ ＺＨＡ０ ｉｎ Ｈｕ ＬＩ ａ － ｎ Ｚ ＮＧ ｏＬｉｎ Ｉ Ｑｕ ｎ Ｊａ － ａ ｎ Ｄｏ ｇ Ｘｕ ＨＥ Ｇｕ － ａ ｇ
换 ， 高 层 次 的模 型 逐 渐 转 换 成 为 包含 了 实现 细 节 的 平 台 相 关模 型 （ ｌ ｆ１１ ｐ ｃ ｉ Ｍｏ ｅ， Ｓ ）直 到 最 终 的代 码 。 将 Ｐａｏ Ｔ ｅｉｃ ｄ ｌＰ Ｍ ， ｔ Ｉ Ｓ ｆ
模 型转换的有效性决定 了 ＭＩＡ开发方 法的效率 。模 型转换 的难点不在 于模 型的语 法映射 ， ） 而是保 证转换 过程 中模
Ａｂｔａ ｔ Ｔｈ ｄ ｅ ｉｅ ｃ ｉｅ ｔｒ （ ｓｒｃ ｅＭｏ ｌ ｖ ｎＡｒｈ ｔｃｕ ｅ ＭＤＡ） ｒｐ ｓｄ ｂ Ｄｒ ｐ ｏ ｏ ｅ ｙ ０Ｍ Ｇ ｓ ｓｓ ｆｗａｅ ｍｏ ｅｓａ ｈ ｒｍａ ｙ ａ ｔ ａ ｔ ｆ ｕ ｅ ｏｔ ｒ ｄ ｌ ｓ ｔ ｅｐ ｉ ｒ ｒｉ ｃｓｏ ｆ ｓ ｆｗａ ｅｄ ｖ ｌｐ ｎ ．Ｉ ｏｔ ｒ ｅ ｅｏ ｍｅ ｔ ｎ ＭＤＡ ，ｐ ｌ ａｉｎｓ ｓｅ ｍｏ ｅｓａｅｆｒｔ ｏ ｓｒ ｃｅ ｎ ｅ ｅ ｄ ｎ ｌ ｆ ｐ ｃｆ ｌｔｏｍ ｓａ ｄ ａ ｐｉ ｔ ｙ ｔｍ ｄ ｌ ｒ ｉｓ ｎ ｔｕ ｔｄｉｄ ｐ ｎ ｅ ｔｙｏ ｅｉｉ ｐａ ｆｒ ｎ ｃ ｏ ｃ ｓ ｃ
ｅｆ ａ ｙｏ ｄ ｅ ｒｎ ｆ ｒ ｔ ｎｔｏ ｓ ｆｉ ｃ ｆｍｏ ｌ ａ ｓｏ ｍａ ｉ ｌ．Ｔｈ ｉ ｉｆ ｕｔｐ ｏ ｌｍ ｆｍｏ ｅ ｒｎ ｆ， ｔ ｎｉ ｏｍ ｉｔｉ ｅ ｎ ｉ ｏ — ｃ ｔ ｏ ｏ ｅｍ ｎ ｄｆｉ ｌ ｒｂｅ ｏ ｄ ｌ ａ ｓｃ ｍａｉ ｔ ｎ ａｎ ｓｍ ｔ ｃ ｎ ａ ｃ ｔ ｒ ｏ Ｓ ａ ａ ｃ ｓｓｅ ｃ ｅｗｅｎ ｍｏ ｅｓｏ ｉｆｒｎ ｂ ｔａｔｌｖ ｌ ｄ ｒｎ ｒｎ ｆｒ ｔ ｎ Ｗ ｅ ｕ ｅｔ ｅＥＤＯＣ ｒ ｆ ｅ ａ ｐａｆ ｒ － ｄ － ｉｔｎ ｙ ｂ ｔ ｅ ｄ ｌ ｆｄｆｅｅ ｔａ ｓｒ ｃ ｅ ｅｓ ｕ ｉｇ ｔａ ｓｏ ｍａｉ ． ｏ ｓ ｈ ｐ ｏ ｌ ． ｌｔ ｍ ｉ ｅ ｉ ｏ ｎ
型 语 义 的 一 致 。本 文 采 用 Ｅ） ） 为 平 台无 关模 型 的描 述 方 法 。Ｅ） ） １ Ｃ作 Ｃ １ Ｃ是 ０ＭＧ制 定 的 、 具 体 应 用平 台 无 关 的 、 Ｃ 和 适
用于企业分布式 系统建模的标准 。本文型到 Ｊ Ｅ Ｉ Ｃ ２ Ｅ平 台模 型 以及 目标
维普资讯
计算机科学 ２ ０ Ｖ １３ Ｎ ． ０ ６ ｏ．３ Ｑ ７
针对 应 用 系统 Ｅ Ｒ模 型 的 ＭＤ 模 型 转 换 方 法 ） Ａ
姜 泉 赵建华 李 宣东 郑 国梁
（ 件新技 术 国家重 点实验 室 南京 大 学计算机 科 学 与技 术 系 南京 ２０ ９ ） 软 １０３
ｐ ｎ ｅ ｔｓ ａ ｄ ｒ ｄ ｐ ｅ ｙ ＯＭＧ ，Ｏ ｄ ｓ ｒｂ Ｉ ｓ Ｔｈ ｓｓ ａ ｄ ｒ ｓｄ ｓ ｎ ｄ ｆ ｒｍｏ ｅｉ ｇ ｄ ｓ ｒｂ ｔ ｄ ｅ ｔ ｒ ｒ ｅａ － ｅ ｄ ｎ ｔｎ ａ ｄａ ｏ ｔ ｂ ｄ ｔ ｅ ｃ ｉｅ Ｐ Ｍ ． ｉ ｔ ｎ ａ ｄ ｉ ｅ ｉ ｅ ｏ ｄ ｌ ｉｔｉ ｕ ｅ ｎ ｅ ｐ ｉ ｐ ｇ ｎ ｓ
代 码 的模 型 转 换 规 则 。 我 们 还 在 转 换 规 则 中 引入 了 多 个设 计 模 式 。软 件 开 发 人 员 可 以根 据 对 软 件 的 非 功 能性 需 求 ， 应 用这 些规 则 来 选择 不 同的 设 计 模 式 ， 平 台无 关 的 Ｅ 将 Ｒ模 型转 换 成 为 Ｊ Ｅ ２ Ｅ平 台上 的模 型 。
ｉ ｌｍｅ ｔ ｔｏ ｅ ｈ ｏ ｏ ｉｓ ｍｐ ｅ ｎ ａ ｉｎ ｔ ｃ ｎ ｌｇ ｅ ．Ｔｈ ｓ ｉ ｈ ａ ｓ ｒ ｃ ｄ ｌ ａ ｅ ａ ｔ ｍａ ｉａ ｌ ｐ ｅ ｔ ｗ－ｅ ｅ ｄ ｌ ｒｄ ｃａ ａ ｅ ｅｈ ｇ ｂ ｔａ ｔｍｏ ｅｓ ｃ ｎ ｂ ｕ ｏ ｔｃ ｌ ｍａ ｐ ｄ ｉ ｏ ｌ ｙ ｎ ｏ ｌｖ ｌ ｍｏ ｅ ｓｏ ｅ ｌ ｒ — ｔ ｅ ｃ ｄ ｓ ｂ ｄ ｌ ｒ ｎ ｆ ｒ ｍｔｏ ｅ ｈ ｏ ｏ ｉｓ ｉ ｏ ｅ ｙ ｍｏ ｅ ａ ｓｏ ｎ ｉ ｎ ｔ ｃ ｎ ｌ ｇ ｅ ．Ｔｈ ｆｉａ ｙｏ ｄ ｌ ｉ ｅ ｃ ｉ ｃ ｕ ｅ ｉ ｍ ｉ ｌ ｅ ｅ ｉ ｅ ｙ ｔ ｅ ｖ ｔ ｅ ｅ ｆ ｃ ｆＭｏ ｅ ｖ ｎ Ａｒ ｈ ｔ ｔ ｒ ｃ Ｄｒ ｅ Ｓａ ｎ ｙ ｄ ｔ ｒ ｎ ｄ ｂ ｈ ｍ
（ ｅ ｔｔ ｅ ａ ｏ ａ ｒ ｆ ｏ ｅ Ｓ ｆ ａｅＴ ｃ ｎ ｌｇ ， ｅ ￣ ａｅＫ ｙＬ ｂ ｒｔ ｙｏ ｖｌ ｏ ｔ ｒ ｅｈ ｏ ｙ Ｄ ｌ ｒ Ｓ ｏ Ｎ ｗ ｏ ｘ ｍｍａ ０ Ｃ ｍ ｕｅ ｃ ｎ ｅａｄ Ｔ ｃ ｎ ｌ ｙ， ａｊ ｇ Ｕ ｉｅｓ ｙ Ｎ ｎｉｇ２ Ｏ ９ ） ｔ ｆ ｏ ｐ ｔ Ｓ ｉ ｃ ｎ ｅｈ ｏｏ Ｎ ｎｉ ｎｖ ｒ ｔ ， ａ ｊ １Ｏ ３ ｒ ｅ ｇ ｎ ｉ ｎ
摘 要 ＭＤＡ是 由 ＯＭＧ 提 出 的一 种 以模 型 为 主要 开 发 产 品 的 软 件 开 发 方 法 。 开 发 人 员 首 先 建 立 与 具 体 技 术 平 台
的 实现 细 节 无 关的 高抽 象程 度 的 平 台 无 关 模 型 （ ｌ ｆｍ ｄｐ ｎ ｅ ｔ ｄ ｌＰ Ｍ） Ｐａ ｏ Ｉ ｅｅ ｄｎ ｔ ｎ Ｍｏ ｅ， Ｉ 。然 后 ， 发 人 员 可 以通 过 模 型 转 开
Ｍ ＤＡ ｏ ｌＴｒ ｎ ｆ ｍａ ｉｎ ｅｈｏｉ ｏ Ｍ ｄｅ ａ ｓ ｏｒ ｔｏ Ｍ ｔ ｔ ｆ ｒ ＥＤＯＣ ｓ ＥＲ ｏ ｅｓ Ｍ ｄ ｌ ＪＡＮＧ ａ ＺＨＡ０ ｉｎ Ｈｕ ＬＩ ａ － ｎ Ｚ ＮＧ ｏＬｉｎ Ｉ Ｑｕ ｎ Ｊａ － ａ ｎ Ｄｏ ｇ Ｘｕ ＨＥ Ｇｕ － ａ ｇ
换 ， 高 层 次 的模 型 逐 渐 转 换 成 为 包含 了 实现 细 节 的 平 台 相 关模 型 （ ｌ ｆ１１ ｐ ｃ ｉ Ｍｏ ｅ， Ｓ ）直 到 最 终 的代 码 。 将 Ｐａｏ Ｔ ｅｉｃ ｄ ｌＰ Ｍ ， ｔ Ｉ Ｓ ｆ
模 型转换的有效性决定 了 ＭＩＡ开发方 法的效率 。模 型转换 的难点不在 于模 型的语 法映射 ， ） 而是保 证转换 过程 中模
Ａｂｔａ ｔ Ｔｈ ｄ ｅ ｉｅ ｃ ｉｅ ｔｒ （ ｓｒｃ ｅＭｏ ｌ ｖ ｎＡｒｈ ｔｃｕ ｅ ＭＤＡ） ｒｐ ｓｄ ｂ Ｄｒ ｐ ｏ ｏ ｅ ｙ ０Ｍ Ｇ ｓ ｓｓ ｆｗａｅ ｍｏ ｅｓａ ｈ ｒｍａ ｙ ａ ｔ ａ ｔ ｆ ｕ ｅ ｏｔ ｒ ｄ ｌ ｓ ｔ ｅｐ ｉ ｒ ｒｉ ｃｓｏ ｆ ｓ ｆｗａ ｅｄ ｖ ｌｐ ｎ ．Ｉ ｏｔ ｒ ｅ ｅｏ ｍｅ ｔ ｎ ＭＤＡ ，ｐ ｌ ａｉｎｓ ｓｅ ｍｏ ｅｓａｅｆｒｔ ｏ ｓｒ ｃｅ ｎ ｅ ｅ ｄ ｎ ｌ ｆ ｐ ｃｆ ｌｔｏｍ ｓａ ｄ ａ ｐｉ ｔ ｙ ｔｍ ｄ ｌ ｒ ｉｓ ｎ ｔｕ ｔｄｉｄ ｐ ｎ ｅ ｔｙｏ ｅｉｉ ｐａ ｆｒ ｎ ｃ ｏ ｃ ｓ ｃ
ｅｆ ａ ｙｏ ｄ ｅ ｒｎ ｆ ｒ ｔ ｎｔｏ ｓ ｆｉ ｃ ｆｍｏ ｌ ａ ｓｏ ｍａ ｉ ｌ．Ｔｈ ｉ ｉｆ ｕｔｐ ｏ ｌｍ ｆｍｏ ｅ ｒｎ ｆ， ｔ ｎｉ ｏｍ ｉｔｉ ｅ ｎ ｉ ｏ — ｃ ｔ ｏ ｏ ｅｍ ｎ ｄｆｉ ｌ ｒｂｅ ｏ ｄ ｌ ａ ｓｃ ｍａｉ ｔ ｎ ａｎ ｓｍ ｔ ｃ ｎ ａ ｃ ｔ ｒ ｏ Ｓ ａ ａ ｃ ｓｓｅ ｃ ｅｗｅｎ ｍｏ ｅｓｏ ｉｆｒｎ ｂ ｔａｔｌｖ ｌ ｄ ｒｎ ｒｎ ｆｒ ｔ ｎ Ｗ ｅ ｕ ｅｔ ｅＥＤＯＣ ｒ ｆ ｅ ａ ｐａｆ ｒ － ｄ － ｉｔｎ ｙ ｂ ｔ ｅ ｄ ｌ ｆｄｆｅｅ ｔａ ｓｒ ｃ ｅ ｅｓ ｕ ｉｇ ｔａ ｓｏ ｍａｉ ． ｏ ｓ ｈ ｐ ｏ ｌ ． ｌｔ ｍ ｉ ｅ ｉ ｏ ｎ
型 语 义 的 一 致 。本 文 采 用 Ｅ） ） 为 平 台无 关模 型 的描 述 方 法 。Ｅ） ） １ Ｃ作 Ｃ １ Ｃ是 ０ＭＧ制 定 的 、 具 体 应 用平 台 无 关 的 、 Ｃ 和 适
用于企业分布式 系统建模的标准 。本文型到 Ｊ Ｅ Ｉ Ｃ ２ Ｅ平 台模 型 以及 目标
维普资讯
计算机科学 ２ ０ Ｖ １３ Ｎ ． ０ ６ ｏ．３ Ｑ ７
针对 应 用 系统 Ｅ Ｒ模 型 的 ＭＤ 模 型 转 换 方 法 ） Ａ
姜 泉 赵建华 李 宣东 郑 国梁
（ 件新技 术 国家重 点实验 室 南京 大 学计算机 科 学 与技 术 系 南京 ２０ ９ ） 软 １０３
ｐ ｎ ｅ ｔｓ ａ ｄ ｒ ｄ ｐ ｅ ｙ ＯＭＧ ，Ｏ ｄ ｓ ｒｂ Ｉ ｓ Ｔｈ ｓｓ ａ ｄ ｒ ｓｄ ｓ ｎ ｄ ｆ ｒｍｏ ｅｉ ｇ ｄ ｓ ｒｂ ｔ ｄ ｅ ｔ ｒ ｒ ｅａ － ｅ ｄ ｎ ｔｎ ａ ｄａ ｏ ｔ ｂ ｄ ｔ ｅ ｃ ｉｅ Ｐ Ｍ ． ｉ ｔ ｎ ａ ｄ ｉ ｅ ｉ ｅ ｏ ｄ ｌ ｉｔｉ ｕ ｅ ｎ ｅ ｐ ｉ ｐ ｇ ｎ ｓ
代 码 的模 型 转 换 规 则 。 我 们 还 在 转 换 规 则 中 引入 了 多 个设 计 模 式 。软 件 开 发 人 员 可 以根 据 对 软 件 的 非 功 能性 需 求 ， 应 用这 些规 则 来 选择 不 同的 设 计 模 式 ， 平 台无 关 的 Ｅ 将 Ｒ模 型转 换 成 为 Ｊ Ｅ ２ Ｅ平 台上 的模 型 。
ｉ ｌｍｅ ｔ ｔｏ ｅ ｈ ｏ ｏ ｉｓ ｍｐ ｅ ｎ ａ ｉｎ ｔ ｃ ｎ ｌｇ ｅ ．Ｔｈ ｓ ｉ ｈ ａ ｓ ｒ ｃ ｄ ｌ ａ ｅ ａ ｔ ｍａ ｉａ ｌ ｐ ｅ ｔ ｗ－ｅ ｅ ｄ ｌ ｒｄ ｃａ ａ ｅ ｅｈ ｇ ｂ ｔａ ｔｍｏ ｅｓ ｃ ｎ ｂ ｕ ｏ ｔｃ ｌ ｍａ ｐ ｄ ｉ ｏ ｌ ｙ ｎ ｏ ｌｖ ｌ ｍｏ ｅ ｓｏ ｅ ｌ ｒ — ｔ ｅ ｃ ｄ ｓ ｂ ｄ ｌ ｒ ｎ ｆ ｒ ｍｔｏ ｅ ｈ ｏ ｏ ｉｓ ｉ ｏ ｅ ｙ ｍｏ ｅ ａ ｓｏ ｎ ｉ ｎ ｔ ｃ ｎ ｌ ｇ ｅ ．Ｔｈ ｆｉａ ｙｏ ｄ ｌ ｉ ｅ ｃ ｉ ｃ ｕ ｅ ｉ ｍ ｉ ｌ ｅ ｅ ｉ ｅ ｙ ｔ ｅ ｖ ｔ ｅ ｅ ｆ ｃ ｆＭｏ ｅ ｖ ｎ Ａｒ ｈ ｔ ｔ ｒ ｃ Ｄｒ ｅ Ｓａ ｎ ｙ ｄ ｔ ｒ ｎ ｄ ｂ ｈ ｍ
（ ｅ ｔｔ ｅ ａ ｏ ａ ｒ ｆ ｏ ｅ Ｓ ｆ ａｅＴ ｃ ｎ ｌｇ ， ｅ ￣ ａｅＫ ｙＬ ｂ ｒｔ ｙｏ ｖｌ ｏ ｔ ｒ ｅｈ ｏ ｙ Ｄ ｌ ｒ Ｓ ｏ Ｎ ｗ ｏ ｘ ｍｍａ ０ Ｃ ｍ ｕｅ ｃ ｎ ｅａｄ Ｔ ｃ ｎ ｌ ｙ， ａｊ ｇ Ｕ ｉｅｓ ｙ Ｎ ｎｉｇ２ Ｏ ９ ） ｔ ｆ ｏ ｐ ｔ Ｓ ｉ ｃ ｎ ｅｈ ｏｏ Ｎ ｎｉ ｎｖ ｒ ｔ ， ａ ｊ １Ｏ ３ ｒ ｅ ｇ ｎ ｉ ｎ
摘 要 ＭＤＡ是 由 ＯＭＧ 提 出 的一 种 以模 型 为 主要 开 发 产 品 的 软 件 开 发 方 法 。 开 发 人 员 首 先 建 立 与 具 体 技 术 平 台
的 实现 细 节 无 关的 高抽 象程 度 的 平 台 无 关 模 型 （ ｌ ｆｍ ｄｐ ｎ ｅ ｔ ｄ ｌＰ Ｍ） Ｐａ ｏ Ｉ ｅｅ ｄｎ ｔ ｎ Ｍｏ ｅ， Ｉ 。然 后 ， 发 人 员 可 以通 过 模 型 转 开