论文部分内容阅读
随着模型驱动架构(MDA)的提出,越来越多的学者和软件开发人员致力于该方面的研究。其中,模型到模型和模型到代码的转换是真正实现MDA方法的两个核心问题,是快速、全面、自动生成用户满意系统的关键。目前,已成为软件正向工程研究的热点问题之一。本文对MDA的关键技术进行了研究。然后针对MDA的两个核心过程,PIM(平台无关模型)到PSM(平台相关模型)的转换和PSM到代码(CODE)的转换,主要是PIM类图到PSM类图和PSM动态视图到CODE的转换进行了深入的研究。研究发现,一般的模型转换方法存在一些不足:在.NET平台上进行模型转换的研究很少、不能在PIM类图中使用多继承、不能对边界类进行转换、动态图生成的代码不够丰富。针对以上问题。本文主要做了以下工作。(1)研究分析了.NET平台的框架。采用一种给类添加构造型和标签的方法,提出将PIM类图精确转换成PSM类图的转换规则。这种方法解决了.NET平台不支持多继承的问题,并可对边界类进行转换。(2)对动态模型到代码的转换进行研究。首先结合Visual Studio2010中代码生成顺序图的功能,给出顺序图生成代码的转换规则,而后针对顺序图不能生成较完整的代码问题给出活动图补充生成代码的转换规则。(3)采用对象约束语言(OCL)描述源模型,查询-视图-转换(QVT)标准中的操作映射语言(Operational Mappings Language)作为模型转换语言,并给出(1)(2)中转换规则的主要QVT描述。基于上述研究结果,本文在.NET平台上,利用MDA工具Borland Together2008对本文提出的转换规则进行的实验验证。试验结果表明,相比以往的模型转换方法,本文提出的类图到类图的转换和动态图到代码的转换方法在转换效果上有明显的改进。对于真正实现MDA软件开发具有一定的理论价值和应用价值。