模型驱动架构中模型构造与集成策略
ＩＳＳＮ１０００?９８２５，ＣＯＤＥＮ
ＲＵＸＵＥＷ
ＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ，Ｖ０１．１７，Ｎｏ．６，Ｊｕｎｅ２００６，ＰＰ．１４１１—１４２２
ＤＯＩ：１０．１３６０／ｊｏｓｌ７１４１１
＠２００６ｂｙＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ．Ａｌｌ
ｒｉｇｈｔｓｒｅｓｅｒｖｅｄ．
模型驱动架构中模型构造与集成策略
刘静１＋，何积丰１，缪淮扣２
１（华东师范大学软件学院，上海２０００６２）
２（上海大学计算机科学与工程学院，上海２０００７２）
ＡＳｔｒａｔｅｇｙｆｏｒ
Ｍｏｄｅｌ
ＣｏｎｓｔｒｕｃｔｉｏｎａｎｄＩｎｔｅｇｒａｔｉｏｎｉｎ
ＭＤＡ
ＬＩＵＪｉｎ９１＋，ＨＥＪｉ．Ｆｅｎ９１，ＭＩＡＯ
Ｈｕａｉ—Ｋｏｕ２
１（ＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇＩｎｓｔｉｔｕｔｅ，ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２０００６２，Ｃｈｉｎａ）２（ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＳｈａｎｇｈａｉＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２０００７２，Ｃｈｉｎａ）
＋Ｃｏｒｒｅｓｐｏｎｄｉｎｇ
ａｕｔｈｏｒ：Ｐｈｎ：＋８６—２１—６２２３２５５４，Ｅ—ｍａｉｌ：ｊｉｆｅｎｇ＠ｓｅｉ．ｅｃｎｕ．ｅｄｕ．ｃａ，ｈｔｔｐ：／／ｗｗｗ．ｓｅｉ．ｅｃｎｕ．ｅｄｕ．ｃａ
Ｅ—ｍａｉｌ：ｊｏｓ＠ｉｓｃａｓ．ａｃ．ｃｎｈｔｔｐ：＃ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ
Ｔｅｌ／Ｆａｘ：＋８６．１０—６２５６２５６３
ＬｉｕＪ，ＨｅＪＦ，ＭｉａｏＨＫ．ＡｓｔｒａｔｅｇｙｆｏｒｍｏｄｅｌｃｏｎｓｔｒｕｃｔｉｏｎａｎｄｉｎｔｅｇｒａｔｉｏｎｉｎＭＤＡ．ＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ，
２００６，１７（６）：１４１１—１４２２．ｈｔｔｐ：／／ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ／１０００—９８２５／１７／１４１１．ｈｔｍ
Ａｂｓｔｒａｃｔ：
Ａｔｔｈｅ
ｃｏｒｅ
ｏｆ
ＭＤＤ（ｍｏｄｅｌ
ｄｒｉｖｅｎｄｅｖｅｌｏｐｍｅｎｔ）ａｒｅｔｈｅｃｏｎｃｅｐｔｓｏｆｍｏｄｅｌａｎｄｉｔｓ
ｔｒａｎｓｆｏｒｍａｔｉｏｎ
ａｎｄ
ｒｅｆｉｎｅｍｅｎｔ．Ｕｎｉｆｉｅｄｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅ（ＵＭＬ）ｉｓｓｅｌｅｃｔｅｄｂｙｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｇｒｏｕｐ（ＯＭＧ）ａｓａ
ｓｔａｎｄａｒｄ
ｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅａｎｄｍｏｄｅｌｄｒｉｖｅｎａｒｃｈｉｔｅｃｔｕｒｅ（ＭＤＡ）ｉｓｃｏｎｓｔｒｕｃｔｅｄ
ｏｎ
ｉｔ．Ｈｏｗｅｖｅｒ，ＵＭＬｍｏｄｅｌｓ
ａｒｅ
ｎｏｔ
ｐｒｅｃｉｓｅｌｙｄｅｓｃｒｉｂｅｄ．ｅｓｐｅｃｉａｌｌｙ
ｉｎ
ｓｅｍａｎｔｉｃｓ．Ｔｈｕｓｔｈｅｍｏｄｅｌｓｄｅｖｅｌｏｐｅｄｉｎｄｉｆｆｅｒｅｎｔｐｈａｓｅｓ
ｏｒ
ｃｏｎｓｔｒｕｃｔｅｄｉｎ
ｄｉｆｆｅｒｅｎｔｖｉｅｗｓａｒｅｎｏｔｅａｓｉｌｙｔｏｂｅｉｎｔｅｇｒａｔｅｄｔｏｇｅｔｈｅｒｉｎ
ＭＤＡ．Ｉｎ
ｔｈｉｓｐａｐｅｒ，ｂａｓｅｄ
ｏｎ
ＨｏａｒｅａｎｄＨｅ’ｓｕｎｉｆｙｉｎｇ
ｔｈｅｏｒｉｅｓｏｆｐｒｏｇｒａｍｍｉｎｇ（ＵＴＰ），ａｍｅｔｈｏｄｉｓｐｒｏｐｏｓｅｄｔｏｃｏｍｂｉｎｅｔｈｅｒｅｆｉｎｅｍｅｎｔｃａｌｃｕｌｕｓｏｆｏｂｊｅｃｔｓｙｓｔｅｍｓ（ｒＣＯＳ）
ｗｉｔｌｌ
ＵＭＬ
ｉｓ
ｐｒｏｐｏｓｅｄｔｏｉｎｃｒｅａｓｅｔｈｅｐｒｅｃｉｓｉｏｎａｎｄｔｒａｎｓｆｏｒｍａｔｉｏｎａｂｉｌｉｔｙｏｆｔｈｅ
ｍｏｄｅｌｓ．Ｍｏｄｅｌｓ
ａｔ
ｄｉｆｆｅｒｅｎｔ
ａｂｓｔｒａｃｔｌｅｖｅｌｓａｎｄｄｉｆｆｅｒｅｎｔｖｉｅｗｓ
ａｒｅ
ｃｏｎｓｔｒｕｃｔｅｄａｎｄｉｎｔｅｇｒａｔｅｄｔｏｇｅｔｈｅｒｔｏｆｏｒｍ
ａ
ｕｎｉｆｉｅｄｍｏｄｅｌｉｎｇｓｙｓｔｅｍ．
Ｋｅｙｗｏｒｄｓ：
ｍｏｄｅｌｄｒｉｖｅｎ
ａｒｃｈｉｔｅｃｔｕｒｅ（ＭＤＡ）；ＵＴＰ；ｍｏｄｅｌ；ｃｏｍｐｏｎｅｎｔ；ｆｏｒｍａｌｍｅｔｈｏｄ
摘要：模型驱动式开发是以模型构造、模型转换和精化为核心的．对象管理组织ＯＭＧ选择将统一建模语言
ＵＭＬ作为标准建模语言，并将其作为模型驱动架构ＭＤＡ的支持平台．但ＵＭＬ模型缺乏严格的语义，不同视角和不同开发阶段的模型很难集成，所以目前ＭＤＡ中各种模型之间是脱节的．基于统一程序设计理论ＵＴＰ，将对象精化演算系统ｒＣＯＳ与ＵＭＬ结合起来，提高了ＵＭＬ模型的精确性与模型转换能力．建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来，建立了一个统一的模型系统．
关键词：
模型驱动架构（ＭＤＡ）；ＵＴＰ；模型；构件；形式方法
中图法分类号：ＴＰ３０１
文献标识码：Ａ
模型驱动式软件开发（ｍｏｄｅｌ
ｄｒｉｖｅｎ
ｄｅｖｅｌｏｐｍｅｎｔ，简称ＭＤＤ）就是对实际问题进行建模，并转换、精化模型，
?ＳｕｐｐｏｒｔｅｄｂｙｔｈｅＮａｔｉｏｎａｌＮａｔｕｒａｌＳｃｉｅｎｃｅＦｏｕｎｄａｔｉｏｎｏｆＣｈｉｎａｕｎｄｅｒＧｒａｎｔＮｏ．６０３７３０３２（国家自然科学基金）；ｔｈｅＮａｔｉｏｎａｌＧｒａｎｄ
Ｆｕｎｄａｍｅｎｔａｌ
Ｒｅｓｅａｒｃｈ９７３ＰｒｏｇｒａｍｏｆＣｈｉｎａｕｎｄｅｒＧｒａｎｔＮｏｓ．２００２ＣＢ３１２００１，２００５ＣＢ３２１９０４（国家重点基础研究发展规划（９７３））；ｔｈｅ
ＮａｔｕｒａｌＳｃｉｅｎｃｅＦｏｕｎｄａｔｉｏｎｏｆ
Ｓｈａｎｇｈａｉ
ｏｆＣｈｉｎａｕｎｄｅｒＧｒａｎｔ
Ｎｏ．０５ＺＲｌ４０５２（上海市自然科学基金）
Ｒｅｃｅｉｖｅｄ２００６—０１一１８：Ａｃｃｅｐｔｅｄ２００６－０３?２８
万方数据