论文部分内容阅读
模型驱动体系架构(Model-Driven Architecture, MDA)是OMG组织于2001年3月提出的一种新的软件体系结构方法学,其核心思想是抽象出与实现技术无关的平台无关模型(Platform Independent Model, PIM),针对不同实现平台制定转换规则,通过模型转换引擎将PIM转换成与具体平台及实现技术相关的的平台相关模型(Platform Specification Model, PSM),最终由代码生成器将PSM转换成目标代码。MDA通过将业务逻辑与具体实现技术相分离,最大程度的降低用户需求变更对实现技术的影响,借助模型复用和模型转换,从而延长软件生命周期,提高软件开发的效率和质量。模型转换作为MDA的核心技术,始终贯穿于模型驱动开发的全过程。当前,模型转换方法大部分侧重于模型语法转换,而模型语义转换特性描述的缺失是MDA发展的一个瓶颈,源于哲学范畴的本体论能有效地支撑领域模型的语义共享与重用。本体也是一种模型,它以显式的方式定义了特定领域中概念的含义。据此,本文提出MDA与本体论相结合的本体语义模型转换方法,建立语义本体库,用于存储关于模型的本体,方便开发人员理解模型的精确语义,并制定基于此机制的模型转换规则,从而兼顾语法、语义层的模型转换。主要工作体现在如下几个方面:(1)研究提出一种基于本体语义的模型转换机制,该机制针对模型转换语义特性描述缺失的现状,提出一种基于本体语义的模型转换方法,为模型驱动开发提供语义保证。(2)研究建立了基于本体语义模型转换方法的语义本体库,整个语义本体库分为抽象层、具体层和实例层,抽象层的基本概念是基本元素、结构元素和特征元素。为了增强语义本体库的可扩展性定义了特征元素的概念集,包含属性及其约束等描述信息,从而为开发人员提供语义库支持。(3)研究制定了基于本体语义模型转换方法的规则,转换规则定义了源模型模型元素到目标模型模型元素之间的映射关系。依据基于本体语义的模型转换机制,把模型转换分为语法转换、语义转换、语法与语义的绑定三个层次,对应不同的抽象层次分别制定其转换规则,从而为模型转换提供规则引导。(4)探索上述技术在实际领域中的应用,通过模型驱动开发的例了验证所提方法的可行性。