| MDA开发中的模型一致性检验 |
| |
| 引用本文： | 张晓蒙,张广泉,戎玫.MDA开发中的模型一致性检验[J].重庆工学院学报,2007(11). |
| |
| 作者姓名： | 张晓蒙 张广泉 戎玫 |
| |
| 作者单位： | 重庆师范大学数学与计算机学院 重庆400047(张晓蒙)，苏州大学计算机科学与技术学院 苏州215006(张广泉)，暨南大学深圳旅游学院 深圳518053(戎玫) |
| |
| 基金项目： | 重庆市自然科学基金项目(CSTC,2006BB2259)，重庆市教委科学技术研究项目(040803)，江苏省高校自然科学基金(05KJB520119) |
| |
| 摘 要： | 为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIM)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列图的形式化语义,以及模型间的协调性条件,并在此基础上进行一致性检测,为模型驱动的开发提供了基础.
|
| 关 键 词： | MDA 需求模型 设计模型 一致性检测 |
Model Consistency Checking in MDA Development |
| |
| ZHANG Xiao-meng,ZHANG Guang-quan,Rong Mei.Model Consistency Checking in MDA Development[J].Journal of Chongqing Institute of Technology,2007(11). |
| |
| Authors: | ZHANG Xiao-meng ZHANG Guang-quan Rong Mei |
| |
| Abstract: | 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. |
| |
| Keywords: | MDA requirement model design model consistency checking |
| 本文献已被 CNKI 等数据库收录！ |
|
