支持模型驱动式软件开发的建模语言框架研究

摘要

随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支持模型的建立和模型之间的转换,其中,模型转换问题的有效解决直接取决于模型如何建立.针对这些核心问题,提出了一个基于元对象机制(metaobject facility,MOF)的建模语言体系结构,支持定义建模语言的抽象语法和具体语法.该体系结构能够有效地纳入、精化统一建模语言(unified modeling language,UML)等现有的建模语言,并支持按需定义新的建模语言,支持建模语言的演化以实现不同应用领域的建模.针对模型转换与模型验证所必须的模型形式化要求,引入网络本体语言(web ontology language,OWL)实现了建模语言的形式化描述.基于Eclipse设计实现了支持该体系结构的建模工具ICE-Modeling Tool,整合现有业务和软件建模语言并扩展定义了一套完整的MDD模型元素体系,所提出的模型元素体系及工具能够支持MDD软件开发过程中准确描述语义,低成本、有效进行模型转换及快速验证模型,在物流服务行业的应用初步验证了体系结构和工具的有效性.