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