中文摘要：

在软件外包领域应用模型驱动的软件开发方法是一崭新的研究方向，可以在很大程度上提高软件外包中甲乙双方的沟通协作效率与软件开发效率。针对其中必须解决的模型伪装与转换等关键问题，本项目拟运用群及群同态理论给出模型转换与伪装及其分级与叠加的形式化定义，并在此基础上分析各种伪装可逆性的问题，研究基于QVT的伪装与转换描述模式，保护甲乙双方的知识产权，促进其增强核心竞争力，并完善和发展现有模型驱动方法中模型转换的理论和方法。同时，将以上理论与方法应用到Web软件外包领域中进行验证，提出适合该领域的基于UML Profile和MOF的模型体系和基于QVT模型伪装与转换方案，并研发相关支撑工具原型。既解决模型驱动的Web工程中行为模型转换等问题，又解决适应该领域的基于MDA 的外包开发的关键问题，从而提高该领域软件开发的效率和质量,并在Web软件外包领域为模型驱动方法的可行性提供例证。

结论摘要：

在软件外包领域应用模型驱动的软件开发方法是一崭新的研究方向，可以在很大程度上提高软件外包中甲乙双方的沟通协作效率与软件开发效率。针对其中必须解决的模型伪装与转换等关键问题，本项目运用群及群同态理论给出模型转换与伪装及其分级与叠加的形式化定义，并在此基础上分析各种伪装可逆性的问题，研究基于QVT的伪装与转换描述模式，保护甲乙双方的知识产权，促进其增强核心竞争力，并完善和发展现有模型驱动方法中模型转换的理论和方法。同时，将以上理论与方法应用到Web软件外包领域中进行验证，提出适合该领域的基于UML Profile和MOF的模型体系和基于QVT模型伪装与转换方案，并研发相关支撑工具原型。既解决模型驱动的Web工程中行为模型转换等问题，又解决适应该领域的基于MDA 的外包开发的关键问题，从而提高该领域软件开发的效率和质量,并在Web软件外包领域为模型驱动方法的可行性提供例证。本项目基本上完成了研究计划中的全部内容。并在研究中对新发现的问题进行了研究。具体的执行情况如下 1. 基于群论的模型转换的研究该部分在给出模型转换群定义的基础上，研究了模型转换的判定问题，模型转换的过程策略问题，模型转换的可逆性等问题。 2. 模型驱动的重构技术研究并开发原型代码到代码模型的转换技术、代码模型到自定义的更抽象模型的转换技术、自定义模型的可视化建模技术、模型的重构技术、模型到代码的生成技术等。 3. 特定领域实际模型体系构建与模型驱动工具原型包括Web领域模型体系、建模工具，基于模型转换与代码生成技术研究。本项目发表论文5篇，形成硕士学位论文3篇，研发工具原型5套。