基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

基于OCL的模型转换语言应用研究

模型转换语言是实施MDA的关键,在整个MDA体系中必须要有明确完备的转换语言.首先对模型转换语言的特性和现有的主要模型转换语言进行了简要的说明和分析,然后对对象约束语言（OCL）作为模型转换语言进行理论相关分析.在分析的基础上,提出了对对象约束语言进行扩展,最后提出了一个基于对象约束语言的模型转换框架.     

MDA模型转换平台中模型转换方法的研究

为有效解决目前基于MDA(模型驱动架构)的模型转换平台功能单一、操作不方便等问题,结合Web应用开发的特点,设计了一个功能完善并可扩展的模型转换平台。介绍了该转换平台表示层、控制层、核心层、基础技术支持层的组成和功能。在此基础上,详细设计了核心层中的模型转换模块。对模型转换方法进行深入研究,分析比较现有的模型转换方法。重点介绍了基于元模型间映射的模型转换方法,最后通过一个实例验证该方法的可行性。     

支持MDA的设计模式建模与模型转换方法研究

设计模式是描述某一类问题的通用解决方案,可以提高软件开发的可重用性,但在设计模式建模中存在模式消失和模式组合复杂化等问题,模型的可扩展性低,不利于模型到代码的自动化转换。由此,在MDA框架下,引入角色的建模思想,提出了一种基于Ecore的设计模式建模和模型转换方法,该方法在元模型层抽象并扩展了设计模式通用元素的元模型,使得不同的模式组合模型通过对相同的模式元素元模型进行转换可以获得相应的应用模型,从而增强了设计模式建模的可扩展性和模型转换的通用性,为MDA框架中设计模式建模和模型转换提供了一种有效的途径。     

基于本体的CIM层模型转换技术研究

当前由于缺乏完整的转换规则描述和相应的实现机制,难以实现灵活、自动的模型转换。采用基于本体的方法来建立模型元素之间的映射关系,并结合本体描述语言给出了模型元素和转换规则在本体库中的描述方法,实现了在两个不同的计算无关层（CIM）建模工具所建模型之间的自动转换。该成果已成功地应用到基于MDA的军工企业数字化项目中。     

一种支持多种模型转换技术的组合方法

模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.     

一种结合MDA的高阶模型转换方法

模型转换是MDA的关键技术,也是MDA的研究热点。目前,不同的MDA开发平台都有一套相对独立的开发技术和转换框架,这使平台之间缺乏兼容性,模型转换代码重用困难。究其原因是缺少一种与具体转换语言相对应,且与平台无关的转换规则模型。为了解决以上问题,将高阶模型转换的思想与模型驱动软件开发相结合,提出了一种构造模型转换规则的高阶转换元模型,并以ATL语言为例展示了高阶转换元模型的使用方法;最后通过一个实例验证了该方法的可行性和可用性。该方法提高了模型转换语言的抽象层次,降低了模型转换语言的重用难度,在一定程度上解决了模型转换技术不兼容的问题。     

信息系统中PIM功能元模型的构建研究

为了解决传统信息系统不能随着需求的改变而及时改变的问题，OMG提出了模型驱动体系（MDA）。平台无关模型（PIM）是模型驱动体系中最重要的一环，为了更好地建立信息系统的平台无关模型，提出了从信息系统的功能角度入手构建PIM。首先介绍了MDA框架下的信息系统开发过程，然后从模型构建的一般性要求出发，结合MDA框架下的信息系统开发的特点，提出了MDA框架下的信息系统开发过程的PIM功能元模型构建方法。为了验证了构建方法的正确性，最后基于XML语言实现了PIM功能元模型的构建。     

信息系统中PIM功能元模型的构建研究

为了解决传统信息系统不能随着需求的改变而及时改变的问题,OMG提出了模型驱动体系(MDA)。平台无关模型(PIM)是模型驱动体系中最重要的一环,为了更好地建立信息系统的平台无关模型,提出了从信息系统的功能角度入手构建PIM。首先介绍了MDA框架下的信息系统开发过程,然后从模型构建的一般性要求出发,结合MDA框架下的信息系统开发的特点,提出了MDA框架下的信息系统开发过程的PIM功能元模型构建方法。为了验证了构建方法的正确性,最后基于XML语言实现了PIM功能元模型的构建。     

一种模型转换分类方法及其在QVT中的应用

针对模型驱动的软件开发过程中潜在的交互性和一致性问题,介绍了一种模型转换分类的方法MTCM.根据模型和模型所描述的系统以及使用的建模语言的不同对模型转换进行细粒度的分类,然后按照此分类方法对OMG组织提出的模型转换标准QVT(查询/视图/转换)进行研究,并通过一个经典的模型转换实例即从UML模型到RDBMS模型的转换进行验证.分析得出结论,MTCM方法有助于提高模型转换的准确性和高效性.     

MDA模型转换的OCL扩展

模型驱动架构(MDA)是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特性的扩展,使其具备表达动态行为语义的能力;然后通过扩展相关关键字,定义了一个完整的模型转换程序框架;并提出创建中间转换对象实现了模型转换的可追溯性以及源模型和目标模型转换的同步性.     

一种面向图形化建模语言表示法的元模型

对于图形化的建模语言,为定义其表示法一般需要解决3个问题:如何定义每个建模元素的图形符号,如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法.为了方便进行模型转换和代码生成,还需要使用模型化的方式描述建模语言的表示法.通过对UML及其语言家族中的表示法进行总结、分析和归纳,提出了一种表示法定义元模型(notation definition metamodel,简称NDM).针对定义表示法所面临的3个问题,NDM被分成基本图元及其布局、基本位置关系和抽象语法桥三部分.使用NDM定义好的表示法模型还可以通过代码生成技术生成可使用的源代码.将NDM与其他几种定义表示法的方法进行了比较,结果表明,NDM与其他方法相比具有优势.NDM已经在元建模工具PKU MetaModeler中实现.介绍了NDM在实际应用中的几个案例.     

Using Meta-Model Transformation to Model Software Evolution

Understanding how software systems evolve is useful from different perspectives: reverse engineering, empirical studies etc.. For an effective understanding we need an explicit meta-model. We introduce Hismo, a meta-model which is centered around the notion of history and we show how we can obtain it from a snapshot meta-model. Based on our experience in developing the Hismo reverse engineering system, we show how we can transform a snapshot meta-model in a history meta-model.     

基于有限状态机的模型转换方法的研究

模型转换是MDA框架中最重要的组成部分之一,因此,对模型转换方法的研究非常重要。为了促进MDA框架理论的发展以及探索更有效的模型转换机制,文中对模型转换方法做了较深入的研究。文中通过对有限状态机的分类和有限状态机的工作原理的介绍,并把有限状态机的理论应用到模型转换中,从而提出了基于有限状态机的模型转换方法。文中从以下几个方面对基于有限状态机的模型转换方法进行了较深入的分析与研究,主要包括转换元模型的定义、模型转换中的有限状态机的描述和可逆向操作的状态生成算法。文中提出的方法为有着比较明显的状态变化的模型之间的相互转换提供了一种比较方便的模型转换实施方案,同时对其它模型转换方法也有一定的参考价值。     

基于模型转换实现行为协议的研究

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法。提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束,运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成。该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持。     

模型驱动架构中模型转换技术的研究

模型转换是模型驱动构架中的核心，查询/视图／转换(QVT)是OMG提出的模型转换的标准化方案。文中介绍了各种模型转换技术和QVT模型转换标准，通过研究和比较八个机构对QVT实现标准的提案，从三大方面提出了对实现最终QVT标准的一些可参考性规则，最后提出了QVT语言分层模型和基于映射的多层体系QVT结构。     

一种模型转换的编织框架

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.     

模型转换的重写逻辑构架研究

规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通过产生式规范、多方法风格的重写规则集设计、OC(对象配置)和OM(对象消息)重写规则分类等技术并结合模型检查工具,为自动产生元模型和模型的面向对象可执行代数规范、转换规则的严格形式化定义、转换协调方面的刻画、终止性和一致性等的验证提供支持。     

基于MDA的设计模式建模与模型转换

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性.