%0 Journal Article %T 模型驱动架构中模型构造与集成策略 %A 何积丰 %A 刘静 %A 缪淮扣 %J - %D 2006 %X 模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成,所以目前MDA中各种模型之间是脱节的.基于统一程序设计理论UTP,将对象精化演算系统rCOS与UML结合起来,提高了UML模型的精确性与模型转换能力.建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来,建立了一个统一的模型系统 %K 模型驱动架构(MDA) UTP 模型 构件 形式方法 %U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20060616&flag=1