模型驱动架构下模型及模型转换方法关键问题的研究

《模型驱动架构下模型及模型转换方法关键问题的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、山东大学博士学位论文模型驱动架构下模型及模型转换方法关键问题研究姓名：马坤申请学位级别：博士专业：计算机软件与理论指导教师：王新军；杨波20111020山东大学博士学位论文摘要模型驱动软件开发(Model．DrivenSoftwareDevelopment，MDSD)已经成为软件工程领域的研究热点和发现趋势，其核心思想为将分析和设计模型与代码等同对待。将模型和代码更好的集成起来，可以通过抽象的模型大大增加有效改进的机会，而不仅仅是直接修改代码。ⅧSD的开发过程为首先抽象出与实现技术无关、完整描述业务功能的平台无关模型(P

2、latformIndependentModel，PIM)，然后通过特定的转换规则及辅助工具，将其转换成具体实现技术相关的平台相关模型(PlatformSpecificModel，PSM)，最后通过一系列转换规则及辅助工具自动生成代码。国内外多年的理论和应用实践以及市场表明，软件与模型驱动开发思想相结合是成功的。使用该方法可以加速软件的开发进程，解决传统企业管理信息系统开发中存在的需求不断变更的问题，缩小沟通风险，大幅度减轻工作量，提高软件代码质量，同时让系统设计人员更多的专注业务需求、业务建模。MDA中需要解决的两个关键

3、问题是如何有效地描述软件模型以及如何在给出的模型之间进行有效的转换。本文以B／s模式企业管理信息系统的开发为应用背景，围绕现有模型和模型转换方法存在的不足展开研究。首先对UML进行简化和扩展，提出了一种平台无关的业务模型PIM．BM；针对目前的目标平台下的软件特征，提出了一种平台相关的业务构件模型PSM．BC，并提出了一种通用的模型的版本控制方法。然后提出了一种支持模型同步的混合型模型转换方法将PIMoBM转化为PSM-BC，最终生成为可用系统。最后研究并实现了模型驱动的快速开发平台MDARapid，验证了以上方法和技术

4、的有效性。本文的主要研究内容和创新成果主要包括：(1)为了改善UML的可用性，提高UML的精确语义，本文针对企业管理信息系统特点，提出了一种基于扩展UML的业务模型PIM．BM，表示系统以业务实体为中心的系统复杂业务。与UML相比，该模型的元模型具有丰富的语义。该模型元模型是在UML元模型的基础上扩展而来的，同时又对UML进行精简，去掉了UML元模型中与管理信息系统建模不相关的内容，从而使得建模人员能够更好的关注业务需求，同时也易于对模型进行扩展。除此之外，PIM．BM给出了模型元素的关联，定义连接类型，这是在模型转换的

5、同时不丢失模型元素之间山东大学博士学位论文关系的前提。PlM．BM主要由业务实体及其关联和业务行为等模型元素组成。(2)本文提取了目标平台下企业管理信息系统的软件特征，并加以抽象分析，综合当前广泛使用的多种应用框架，提出了一种平台相关的业务构件模型PSM．BC。它包含目标平台的特性信息，在模型的表示、扩展和实现时运行了许多目标平台的特性，支持向多种不同目标框架下的模型转换。PSM-BC定义了业务处理对象、业务对象以及业务展现对象，它提供了对视点的显示支持，分层次去描述模型的功能特性。为了降低模型的复杂度，本文将PSM．B

6、C的元模型进行分层设计。按照层次分为：业务处理层元模型、业务对象层元模型、业务展现层元模型。这些模型可以捕捉到应用系统全面的业务特性。PSM-BC中的不同层次中的模型相对独立，松散耦合，更加容易实现标准化工作。每层模型对应着最终系统实现的不同细粒度构件，具有复用性。(3)本文提出了一种模型演化的通用的模型管理方法，用于实现模型的版本控制，提出了基于内容仓库的模型存储方法，把模型元素和模型关联作为内容仓库的节点存储，使用内容仓库中的节点版本控制方法对模型进行管理。该方法将为其他学者研究软件模型的版本控制提供一种新的思路，也

7、是内容仓库的一种新的应用方式。(4)基于PIM．BM和PSM-BC，本文提出了一种混合型的模型转换方法。这种转换首先使用描述性的QVTRelations语言描述PIM-BM到PSM-BC的关系型转换规则。这种规则描述相对简洁，描述力强，可以支持复杂的模型元素实例的模式匹配，整个模型转换过程可以简化为模型转换规则的顺序执行。其次基于文本模板演化，将PSM．BC转化为目标代码。为了提高模板复用性，针对特定目标平台，制定一套插件化的目标语言模板文件，作为PSM．BC到目标语言的模型转换规则。混合型的模型转换方法，对模型驱动开发

8、的理论研究有一定的推动和促进作用，丰富了模型驱动开发形式化方法研究。另一方面，PIM-BM和PSM-BC的混用会引起模型的不一致。为了解决以上问题，本文提出一种基于模型版本的模型同步方法，仅仅因模型变动而受影响的模型参与再次模型转换。该方法是根据源模型增量不断去修正目标模型思想的一种应用，它大大减少了参与再次模型转换