MDA开发中的模型一致性检验  

Model Consistency Checking in MDA Development

作　　者：张晓蒙[1] 张广泉[2] 戎玫[3] 

机构地区：[1]重庆师范大学数学与计算机学院,重庆400047 [2]苏州大学计算机科学与技术学院,苏州215006 [3]暨南大学深圳旅游学院,深圳518053

出　　处：《重庆工学院学报》2007年第21期131-134,159,共5页Journal of Chongqing Institute of Technology

基　　金：重庆市自然科学基金项目(CSTC;2006BB2259);重庆市教委科学技术研究项目(040803);江苏省高校自然科学基金(05KJB520119)

摘　　要：为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIM)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列图的形式化语义,以及模型间的协调性条件,并在此基础上进行一致性检测,为模型驱动的开发提供了基础.In order to implement integration and inter-operation among various middleware platforms, OMG puts forward The Model Driven Architecture （MDA）, a standard model-based system structure, which defines two kinds of models： Platform Independent Model （PIM） and Platform Specific Model （PSM）. Requirement model and design model are obtained though integrating use-case diagram, class diagram, and sequence diagram in UML, the formal semantics of class diagram and sequence diagram, and the harmony conditions are proposed. Then the consistency checking is done to provide the basis for the model-driven development.

关 键 词：MDA 需求模型 设计模型 一致性检测 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]