基于QVT的模型转换方法的研究与应用

【摘要】从机器语言诞生到各种软件开发方法的提出,软件模型不断更新,软件系统的灵活性和可伸缩性不断提升。软件系统开发的复杂程度越来越高,软件的生产率也需要极大的提升。传统的软件开发通常采用文本和UML图表的方式描述需求分析和设计过程,产生大量的文本文档,给维护造成极大的困难,加上文档与代码存在不同步的问题,软件的可靠性越来越难以保证,传统的软件开发已经不能满足实际开发的需要。随着软件工程概念的逐渐普及,MDA开发思想被日渐提出。MDA软件开发思想以模型为中心,系统建模驱动整个开发过程,软件开发者只需要专注于建立平台独立模型,并通过特定的自动转换工具就可以将模型转换为代码,减少了开发者的工作量。MDA提高了软件系统的灵活性与可伸缩性,成为面向模型的软件开发思想力推的新型软件开发方法学。查询／视图／转换(QVT)是由OMG提出的用于实现MOF模型相互转换的标准,QVT标准的核心是对模型转换语言的定义,其核心语言Relations是一种用来描述转换规则的标准语言,它基于关联／映射的QVT模型转换规则,对抽象语法与具体语法进行比较完整的定义,并对具体语法进行语义的映射。然而模型之间常常存在相互嵌套甚至递归嵌套的情况,造成流程模型之间转换规则的困难性与复杂性。QVT关系语言虽然是已发布的规范化描述转换规则语言,但却无法描述相互嵌套或递归嵌套的模式,影响了QVT的适用性。论文首先探讨了MDA模型驱动开发的研究现状与存在的问题,详细分析QVT提案,比较了模型转换常用的几种方法的优缺点。研究了模型转换的原理与步骤,论述了关联／映射的模型转换规则的抽象语法及具体语法,并对具体语法的语义进行了定义,同时指出关联／映射转换规则中存在的不足,给出一种基于扩展QVTRelations语言的模型转换方法,详细描述了嵌套关系表达式及关联端点约束的语法及语义,对转换规则进行重新定义,使其更精确的描述流程模型之间的转换规则,增强QVT的适用性。最后通过一个典型的实例,使用本文的转换方法进行模型转换,实现模型从源模型到目标模型的转换,证明了该方法的可用性,并对结果进行了总结与对比。
【作者】葛艳娜；
【导师】傅秀芬；
【作者基本信息】广东工业大学，计算机软件与理论，2014，硕士
【关键词】模型驱动；模型转换；QVTRelations；转换规则；

【参考文献】
[1]孟想.水泥生产线的网络规划及控制系统的设计[D].大连海事大学,电气工程,2012,硕士.
[2]丁玉平.机电产品出口对安徽省经济增长的效应研究[D].安徽大学,国际贸易学,2013,硕士.
[3]钱金山.微型计算机通讯技术[J].电讯技术.1990(06)
[4]马晓路.基于滤波的运动目标跟踪[D].中南民族大学,通信与信息系统,2013,硕士.
[5]张海英.国内中资商业银行私人银行业务研究[D].西南交通大学,工商管理（专业学位）,2013,硕士.
[6]李娟娟.秦岭川金丝猴（Rhinopithecus roxellana）OMU间联署关系的研究[D].西北大学,动物学,2014,硕士.
[7]白秋辉.功能对等理论视角下的蒙古族文化特色词汇翻译[D].沈阳师范大学,外国语言学及应用语言学,2013,硕士.
[8]王小雪.基于无线传感器网络的无源被动式目标定位研究[D].浙江工业大学,2013.
[9]满文峰.元胞自动化的动力学行为及演化复杂性研究[D].东北大学,系统理论,2011,硕士.
[10]王磊.清热利湿补肾活血汤治疗湿热痹阻型强直性脊柱炎的临床研究[D].北京中医药大学,中医学,2013,硕士.
[11]刘文茂,杨昆,刘达,胡光宇.基于隐马尔科夫误差校正的日前电价预测[J].电力系统自动化,2009,10:34-37.
[12]郭萱.安康市农村信用社经营绩效及影响因素研究[D].西北大学,工商管理（专业学位）,2012,硕士.
[13]李中翔.压电式MEMS面内横向驱动器的研究[D].北方工业大学,机械设计及理论,2014,硕士.
[14]姜海,辛耀中,南贵林,赵江河,刘国定.IECTC572010年会和SAC/TC82工作近况介绍[J].电力系统自动化,2010,19:1-5.
[15]钱勇先.弹性波正演模型的快速有限元算法[J].石油地球物理勘探,1990,03:260-266+378.
[16]刘遹菡,湛青,许洁.基于增强现实技术的手机应用研究[J].湘潭大学学报(哲学社会科学版),2015,02:127-130.
[17]欧阳华.论展示设计中民族与地域特色的营造[D].南京艺术学院,2004,硕士.
[18]孔玮.城市轨道交通直流牵引系统故障分析及若干问题的研究[D].华北电力大学（北京）,2005.
[19]张英.2型糖尿病抵抗素、白介素-6、颈动脉内膜中层厚度与胰岛素抵抗的相关性[D].广西医科大学,内分泌,2004,硕士.
[20]杜青.复杂基质样品前处理技术及分离分析方法研究[D].华东理工大学,2013.
[21]陈鹏磊,刘鸣华.基于卟啉、氧化石墨烯的功能纳米材料的可控构筑及其性能调控[A].中国化学会.中国化学会第29届学术年会摘要集——第18分会：超分子组装与软物质材料[C].中国化学会:,2014:1.
[22]夏汉平,王庆礼,孔国辉.垃圾污水的植物毒性和植物净化效果之研究(英文)[J].植物生态学报,1999,04:2-14.
[23]李世卿,石德仁,张凤哲,李冰.大型变频调速装置的高次谐波电流对电网的影响及其抑制[J].冶金自动化,1994,05:17-19.
[24]董香艳.TLR2对角质形成细胞与不同皮肤癣菌共孵育时的影响研究[D].华中科技大学,皮肤性病学,2013,硕士.
[25]姜蓉.基于模拟退火算法的贷款组合优化研究[D].湖南大学,管理科学与工程,2003,硕士.
[26]巫明健.兰渝铁路两水隧道软岩开挖及支护技术研究[D].西南交通大学,地质工程,2014,硕士.
[27]张晋.数据立方计算及其在OLAPMINING中的应用[D].吉林大学,2004.
[28]王威.高速钢仿生表面的摩擦磨损性能研究[D].宁波大学,机械电子工程,2013,硕士.
[29]王亚男.人民版高中历史必修1中史料的运用[D].内蒙古师范大学,教育（专业学位）,2013,硕士.
[30]阮东升.程敏政交遊研究[D].华东师范大学,中国古典文献学,2014,博士.
[31]牛少卿.复杂背景下的红外弱小目标检测算法研究[D].华中科技大学,控制理论与控制工程,2013,硕士.
[32]吴彩霞.我国零售业上市公司融资结构与公司治理绩效的实证研究[D].华东理工大学,会计（专业学位）,2014,硕士.
[33]张琼.跨语际旅行：弗洛伊德主义中国化问题探究[D].西南师范大学,比较文学与世界文学,2004,硕士.
[34]肖迪.长春市青少年心理健康社会教育研究[D].吉林大学,思想政治教育,2014,硕士.
[35]卢振利,马书根,李斌,王越超.基于循环抑制CPG模型控制的蛇形机器人三维运动[J].自动化学报,2007,01:54-58.
[36]付瑞利.论新时期以来王蒙创作对小说主潮的应和与背离[D].南京师范大学,中国现当代文学,2011,硕士.
[37]王颖,张亮,李小龙,谢涛.改性活性炭对卷烟主流烟气气相物释放量的影响[J].轻工科技,2014,09:35-37.
[38]龚文雅.1950年代胡适思想批判运动的历史辨析[D].安徽大学,中国史,2013,硕士.
[39]童宇飞.高校体育教学中学生人文精神培养之研究[D].西南大学,体育人文社会学,2013,硕士.
[40]唐敏.玉米秸秆皮纤维素纤维的制备及其结构性能的研究[D].东华大学,材料工程（专业学位）,2014,硕士.
[41]王建冲.基于ANSYS-Workbench的旋转尾管悬挂器轴承有限元分析[D].中国地质大学（北京）,机械工程,2014,硕士.
[42]李梦漪.关联理论视角下中国学生英语口语中定冠词的使用研究[D].沈阳师范大学,课程与教学论,2013,硕士.
[43]章静.农村初中生学习拖延特点及干预研究[D].湖南师范大学,发展与教育心理学,2013,硕士.
[44]韩晓莉.改革开放以来党的干部考核评价机制的探索与改革研究[D].华中师范大学,思想政治教育,2013,硕士.
[45]聂尊誉,陈浩华.我国著名有机化学家中国科学院上海有机化学研究所研究员中国科学院院士—戴立信[J].功能材料信息,2014,03:3-7+2.
[46]赵培.直接翻译方法指导下的翻译实践[D].河北师范大学,翻译,2013,硕士.
[47]吴佳静.中国城市社区医疗与健康管理市场化及策略研究[D].上海外国语大学,工商管理,2013,硕士.
[48]林红岩.当代中国大众文化问题研究[D].山东大学,马克思主义基本原理研究,2013,硕士.
[49]马燃.我国上市公司控制权溢价影响因素实证研究[D].吉林大学,会计学,2014,硕士.
[50]梁尧.遂宁移动分公司绩效管理系统的设计与实现[D].电子科技大学,软件工程（专业学位）,2013,硕士.