在软件外包领域应用模型驱动的软件开发方法是一崭新的研究方向,可以在很大程度上提高软件外包中甲乙双方的沟通协作效率与软件开发效率。针对其中必须解决的模型伪装与转换等关键问题,本项目拟运用群及群同态理论给出模型转换与伪装及其分级与叠加的形式化定义,并在此基础上分析各种伪装可逆性的问题,研究基于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套。
{{i.achievement_title}}
数据更新时间:2023-05-31
一种基于多层设计空间缩减策略的近似高维优化方法
二维FM系统的同时故障检测与控制
扶贫资源输入对贫困地区分配公平的影响
出租车新运营模式下的LED广告精准投放策略
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
模型驱动式可信软件构造方法的研究
高可靠软件建模语言及模型自动转换方法研究
软件开发进程的模型、规划与管理
实时领域交互行为模型转换方法及非功能语义规约研究