软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2006年
6期
1411-1422
,共12页
模型驱动架构(MDA)%UTP%模型%构件%形式方法
模型驅動架構(MDA)%UTP%模型%構件%形式方法
모형구동가구(MDA)%UTP%모형%구건%형식방법
模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成,所以目前MDA中各种模型之间是脱节的.基于统一程序设计理论UTP,将对象精化演算系统rCOS与UML结合起来,提高了UML模型的精确性与模型转换能力.建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来,建立了一个统一的模型系统.
模型驅動式開髮是以模型構造、模型轉換和精化為覈心的.對象管理組織OMG選擇將統一建模語言UML作為標準建模語言,併將其作為模型驅動架構MDA的支持平檯.但UML模型缺乏嚴格的語義,不同視角和不同開髮階段的模型很難集成,所以目前MDA中各種模型之間是脫節的.基于統一程序設計理論UTP,將對象精化縯算繫統rCOS與UML結閤起來,提高瞭UML模型的精確性與模型轉換能力.建立模型驅動式開髮中不同層次、不同視角的相關模型併將它們集成起來,建立瞭一箇統一的模型繫統.
모형구동식개발시이모형구조、모형전환화정화위핵심적.대상관리조직OMG선택장통일건모어언UML작위표준건모어언,병장기작위모형구동가구MDA적지지평태.단UML모형결핍엄격적어의,불동시각화불동개발계단적모형흔난집성,소이목전MDA중각충모형지간시탈절적.기우통일정서설계이론UTP,장대상정화연산계통rCOS여UML결합기래,제고료UML모형적정학성여모형전환능력.건립모형구동식개발중불동층차、불동시각적상관모형병장타문집성기래,건립료일개통일적모형계통.
