|
软件学报 2006
模型驱动架构中模型构造与集成策略, PP. 1411-1422 Keywords: 模型驱动架构(mda),utp,模型,构件,形式方法 Abstract: 模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织omg选择将统一建模语言uml作为标准建模语言,并将其作为模型驱动架构mda的支持平台.但uml模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成,所以目前mda中各种模型之间是脱节的.基于统一程序设计理论utp,将对象精化演算系统rcos与uml结合起来,提高了uml模型的精确性与模型转换能力.建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来,建立了一个统一的模型系统.
|