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

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

基于MDA的实时软件资源建模与模型转换的方法

模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTS元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTS元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MAR"I'E模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。     

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

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

基于MDA的UML模型转换:从功能模型到实现模型

MDA（Model Drive Architecture）是OMG（Object Management Group）提出的解决系统集成问题的新途径,它以UML、MOF、CWM为核心,定义软件开发过程中的模型组织管理框架。本文探讨了MDA框架下在元模型层定义模型转换的方法。引入模型转换规则描述语言,给出模型转换规则应遵循的部分原则。以CORBA平台为例说明在元模型层用既定语言定义模型转换规则,从功能模型到实现模型的模型转换方法。基于以上方法构建相应的工具原型。     

基于Agent的模型转换及其支撑软件工具ODAMTransformer

模型驱动开发技术通过不同抽象层次模型的建立和转换,可有效提高软件开发的效率和质量。本文将模型驱动开发思想引入到面向Agent软件工程,研究了基于Agent的模型转换技术,并将它集成到面向Agent的软件开发方法学ODAM中。ODAM将基于组织抽象所建立起来的模型视为平台无关模型,将基于特定平台所建立起来的模型视为平台相关模型,支持模型驱动的软件开发。本文选取JADE作为目标系统的开发平台,建立了ODAM元模型和JADE元模型间的映射关系,提出了从ODAM组织模型到JADE模型、从JADE模型到程序代码的模型转换规则,开发了相应的支撑软件工具ODAMTransformer,通过案例分析和演示展示了技术和工具的可行性和有效性。     

针对应用系统ER模型的MDA模型转换方法

MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型（Platform Independent Model,PIM）。然后,开发人员可以通过模型转换,将高层次的模型逐渐转换成为包含了实现细节的平台相关模型（Platform Specific Model,PSM）,直到最终的代码。模型转换的有效性决定了MDA开发方法的效率。模型转换的难点不在于模型的语法映射,而是保证转换过程中模型语义的一致。本文采用E1）C）C作为平台无关模型的描述方法。EDOC是OMG制定的、和具体应用平台无关的、适用于企业分布式系统建模的标准。本文针对EDOC中的实体关系模型建立了从这些模型到J2EE平台模型以及目标代码的模型转换规则。我们还在转换规则中引入了多个设计模式。软件开发人员可以根据对软件的非功能性需求,应用这些规则来选择不同的设计模式,将平台无关的ER模型转换成为J2EE平台上的模型。     

模型驱动构架中基于元模型的设计模式单元的组建和转换

设计模式种类繁多而且在不断变化,要在模型驱动构架（MDA）下真正做到从思想和实现上均能应用设计模式,需要解决其实例化后的模式消失问题,保证模式的独立性,并且可以将这个过程适用到多种设计模式中去。针对以上两个问题,采取一种基于元模型的设计模式单元的建模方法,从元模型层面划分基本操作为不可分的原子,组合出完整的不包含业务逻辑部分的设计模式单元元模型,使多种模式单元元模型的组合构建和业务、模式逻辑相分离在经过一次转换过程后同时实现。     

大规模无线传感器网络中基于P2P的路由模型研究

自适应系统是一类复杂系统,如何有效地支持此类系统的工程化开发,一直是软件工程领域的关注焦点。提出了一个基于Agent的模型驱动软件开发方法,试图将主流软件工程中的MDA技术与软件Agent技术相结合,从而为高效、高质量地开发复杂自适应多Agent系统提供方法学指导。该方法将基于组织抽象和ODAM+方法学所建立起来的模型视为平台无关模型,将基于SADE平台的实现模型视为平台相关模型,通过建立这两个不同抽象层次元模型间的映射关系,来实现从平台无关模型到平台相关模型以及最终代码框架的转换。介绍了集成MDA和Agent技术的软件方法学ODAM+,阐述了复杂自适应系统模型驱动开发的一组关键技术,包括不同层次的元模型以及它们之间的映射关系、模型转换规则和模型转换算法,最后分析了相应的支撑软件工具和应用验证情况。     

复杂自适应多Agent系统的模型驱动开发方法

自适应系统是一类复杂系统,如何有效地支持此类系统的工程化开发,一直是软件工程领域的关注焦点。提 出了一个基于Agent的模型驱动软件开发方法,试图将主流软件工程中的MDA技术与软件Agent技术相结合,从而 为高效、高质量地开发复杂自适应多Agent系统提供方法学指导。该方法将基于组织抽象和()DAM+方法学所建立 起来的模型视为平台无关模型,将基于SADE平台的实现模型视为平台相关模型,通过建立这两个不同抽象层次元 模型间的映射关系,来实现从平台无关模型到平台相关模型以及最终代码框架的转换。介绍了集成MDA和Agent 技术的软件方法学(ODAM} ,阐述了复杂自适应系统模型驱动开发的一组关键技术,包括不同层次的元模型以及它 们之间的映射关系、模型转换规则和模型转换算法,最后分析了相应的支撑软件工具和应用验证情况。     

可复用MOF元建模框架的研究

在MDA场景下,元模型是实现平台无关模型和平台相关模型转换的核心.提出通过元层模型和模型层模型的Down-Up机制给出可复用的MOF元建模框架.元建模框架由MOF BootStrap模型自举,并且内置MOF Model,此框架可在任意多层元建模中复用.此外,给出了模型工程模型和模型迁移剪枝算法,并提出了采用模型工程统一对象空间实现模型实例复用的方法.此框架的研究对于指导具体建模工具的实现有重要意义.     

基于软件模式的PIM到PSM的模型变换

模型驱动体系结构(MDA)是一种以模型为中心的新的软件开发模式。MDA的基本思想是将模型主要分为平台无关模型(PIM)和平台相关模型(PSM),然后通过变换规则实现PIM到PSM的变换。文中将软件模式的概念引入到PIM到PSM模型变换中,从而提高模型变换效率和降低模型变换出错率。同时,设计了基于软件模式的PIM到PSM的模型变换方法的框架。     

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

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

基于QVT的模型转换方法研究

针对不同模式之间规则不能重用甚至无法描述嵌套模式的问题．提出一种基于扩展MOF元模型与扩展QVT语言相结合的模型转换方法。该方法通过扩展MOF元模型解决模型之间规则不能重用问题．通过扩展QVTRelations可以增强规则语言的有效性,为模型建立和模型转换提供一种更有效的途径。在一个股票交易系统的转换应用实例中验证该方法的正确性。     

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

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

MDA中关联从UML模型到Java模型的转换

关联变换是MDA中模型转换的难点,研究了如何定义一套高质量的映射规则用于关联变换.首先讨论了UML中关联关系及其两种实现模式,接着对每种模式分别定义了一套从UML模型（平台独立模型）到Java模型（平台相关模型）的变换规则,最后给出了两种实现模式按规则转换的实例.