模型驱动下的数据库自动生成

为提高软件开发效率,提出模型驱动下的数据库自动生成方法.该方法以MetaEdit+作为元建模工具,由领域专家建立领域元模型和模型,通过生成器定义语言MERL,软件开发人员可以很方便地设计代码生成器,直接从领域专家所建立的图形领域模型生成Java程序代码,并运行已生成的程序代码进而生成数据库.通过一个实例详细介绍了数据库概念模型元模型设计、E-R模型设计并给出从E-R模型到Java代码的生成器设计.经测试,所生成的Java程序代码可以在Windows操作系统环境的Java平台上运行,并能正确生成Oracle 10g数据库实例.     

模型驱动下的Web应用系统自动生成

为了提高Web应用系统开发效率,提出了模型驱动下的Web应用系统自动生成方法。这种生成方法是以Me—taEdit＋作为元建模工具,首先创建Web应用系统元模型、定制DSL,进而建立Web应用系统领域模型,然后通过MetaEdit＋提供的生成器定义语言MERL,软件开发人员可以很方便地设计出Web应用系统所需的JSP生成器、Servlet生成器、Jayabeans生成器和数据库生成器,从Web应用系统图形模型直接生成整个Web应用系统。最后通过一个WebShopping实例详细介绍了模型驱动下的Web应用系统生成方法及生成过程。经测试,所生成的Web应用系统可以在Windows操作系统中的Web应用服务器上正确运行。     

J2EE平台下代码自动生成技术研究

采用代码自动生成技术能为软件开发带来代码质量的提高、开发风险的降低等优点,提高了软件开发的速度和质量。该文描述了一种基于模板的代码自动生成系统的设计和实现,并利用它完成了基于J2EE-Web应用系统的代码自动生成工作。     

一种CIM模型的Java代码生成方法

介绍一种将CIM模型转换为Java代码的方法。CIM模型是时电力企业的对象进行建模．是进行CIM应用的基础．将CIM模型转换为Java代码是为了实用的需要。对CIM模型及EMF框架进行简要的介绍．说明CIM模型通过转换为EMF模型从而生成Java代码的方法实现,为CIM模型的落地实用化提供参考。     

支持代码自动生成的行为建模

本文根据模型驱动体系结构思想,针对目前代码自动生成工具对于行为代码生成支持不足的问题,提出了一种行为建模方法。通过对UML活动图进行扩展,进而对系统行为进行描述,使行为模型具有计算完备性。在一定程度上提高模型驱动代码生成的自动化程度,进一步减少应用系统开发的工作量,同时提高系统的可靠性和可维护性。     

基于Java的代码生成器的设计与实现

采用代码生成技术能大幅提高软件开发的质量和生产率，降低软件开发的风险。目前，大多数代码生成器由于灵活性欠佳，不能完全满足软件开发的实际需要，难以在软件开发项目中得到充分的应用。该讨论的代码生成器Generator是一个基于Java的代码生成工具，它支持多种类型的数据库设计模型，允许用户自定义代码模板和代码生成任务，适合生成基于数据库模型的任意形式的代码及相关的本件，具有广泛的通用性。     

SCADE平台下C代码的自动生成

随着航空电子软件的迅速发展,传统的软件设计方法已不能满足其效率和安全性需求.为解决传统设计方法的不足,寻求一种更有效的控制软件设计方法,高安全应用开发环境SCADE应运而生.主要介绍了高安全应用开发环境SCADE的开发背景及开发特点,并以飞机飞行控制律为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模建立无人机飞行控制律模型,通过模拟仿真保证设计的正确性,最终自动生成可直接面向工程的嵌入式C代码.实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,体现了SCADE环境下进行软件开发的优越性.     

基于RTW的驱动代码快速生成技术研究

虽然基于模型的设计逐步取代基于文本规范的传统的嵌入式软件开发模式,但是目前RTW(Real-Time Workshop)代码生成工具仅仅将控制算法模型自动转换为源代码,对于实时系统的开发来说,目标芯片的驱动代码还需要用户手动编写,然后添加到控制算法的模型源代码中。针对上述问题,提出基于RTW的驱动代码快速生成技术,它能有效地实现在生成代码的同时将驱动程序嵌入到控制模型的源代码中,真正实现由仿真模型到目标芯片应用程序的代码自动生成。最后以汽车电子主流芯片MPC5634的代码生成为例,结果表明了该技术的实用性和高效性。     

模型及代码自动生成技术在车身控制器中的应用

车身控制器控制逻辑并不复杂,但不同的汽车厂,即便是同一厂家,不同的汽车平台要求也很不一样。这样做不仅开发时间长,工程成本高,而且每次更改也带来了引入编程错误的风险。经过对车身控制器产品特点的分析,把模型及自动代码生成技术应用到该产品软件开发上。结果证明既节约了开发成本,又开辟了提高产品质量和产品交货时间的新途径。     

基于应用描述的Android代码自动生成

在移动开发领域,安卓应用的开发吸引着广大移动终端厂商和开发者的加入。目前,开发者大多采用传统的方式,基于集成开发环境为安卓应用的每一项组成部分进行设置或编码,这些工作可能花费开发者较多的时间。然而,与应用框架相关的部分代码与配置文件具有类似的模式,通过复用及定制的方式可以有效提高应用的整体开发效率。为了实现这一目标,提出一套借鉴MDA(Model-Driven Architecture)思想的方法,基于安卓应用的描述来完成安卓代码框架部分的自动生成。该方法包括一种描述安卓应用基本元素及其关联关系的元模型,以及一套可复用且支持定制的应用代码模版。基于元模型标准的特定安卓应用的描述可以驱动基于模版的安卓框架代码的自动生成。在该方法基础上,开发Android应用框架自动生成工具,并以一个实例展示了方法与工具的可用性。     

基于Java的代码生成器的设计与实现

采用代码生成技术能大幅提高软件开发的质量和生产率,降低软件开发的风险.目前,大多数代码生成器由于灵活性欠佳,不能完全满足软件开发的实际需要,难以在软件开发项目中得到充分的应用.该文讨论的代码生成器Generator是一个基于Java的代码生成工具,它支持多种类型的数据库设计模型,允许用户自定义代码模板和代码生成任务,适合生成基于数据库模型的任意形式的代码及相关的文本文件,具有广泛的通用性.     

模型驱动的测试用例自动生成框架

提出一个基于模型驱动架构(MDA)的测试用例生成框架,其中,平台无关的系统模型通过水平转换成平台无关的测试模型,平台无关的测试模型通过竖直转换生成相应的测试用例。利用MDA转换工具ATL和MOFScript制定相应的转换规则作用于元模型,使测试者只须提供源模型和测试数据即可生成相应的测试用例。     

面向申威异构架构的并行代码自动生成

异构架构逐渐成为高性能计算领域的主流架构,但相较于同构多核架构,其硬件结构及存储层次更为复杂,程序编写更为困难.先进的优化编译器可以协助程序开发人员实现更为高效的代码,降低程序开发复杂度.多面体编译模型通过抽象分析将程序抽象成空间多面体表示形式,能够将多种循环变换与硬件映射相结合,并面向特定体系结构生成相应的代码.设计实现了一个面向国产申威异构架构的并行代码自动生成系统,采用“源-源”编译模式,基于多面体编译模型实现.系统针对申威异构架构特点将程序计算过程进行硬件部署,同时实现数据传输与内存空间的自动管理.实验基于Polybench测试集中线性代数相关用例进行测试.结果表明,利用代码自动生成系统生成的异构并行代码能够在申威异构平台上正确运行,并能够有效发挥申威异构平台的性能,基于申威异构平台利用64线程加速计算的平均加速比达到了539.16倍.     

AADL模型的代码自动生成及集成技术

体系结构分析设计语言（AADL）是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。     

SCADE平台下的图形化设计和代码自动生成

随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件设计方法势在必行。本文研究了一种航空机载软件开发方法—高安全性开发环境SCADE,并以飞机自主导航软件为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模和模拟仿真自动生成可直接面向工程的安全嵌入式C代码。实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间。     

模型驱动环境下模型演化的形式化研究

在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱动体系结构,给出了模型和模型变化的形式化定义。模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算。     

Mediator模型的SystemC代码自动生成

Mediator是一种基于组件的建模语言,该语言主要通过自动机和系统对模型进行描述。将Mediator语言描述的模型自动生成为可执行代码,可以避免编码过程中由于人为疏忽而造成的错误,从而提高编码的可靠性,同时缩短模型开发周期。介绍一种从Mediator模型到SystemC代码的自动生成工具,该工具旨在将基于特定平台的模型转换为能直接仿真运行的代码。首先对Mediator语言的语法语义进行分析,选择合适的SystemC代码组织形式,然后针对Mediator模型的每一个组成部分 设计生成规则,其中重点对类型生成、状态转移语句生成、同步语句的生成进行分析。最后,通过一个机器掉电检测系统说明该工具运行结果的正确性。     

模型驱动的融合业务生成方法及关键技术

业务生成技术是下一代融合网络提供各种增值业务的重要支撑技术。模型驱动架构是一种先进的软件开发方法学。为了提高业务逻辑模型的重用性和对技术的中立性,该文利用模型驱动架构技术,提出了一种模型驱动的融合业务生成方法,并论述了该方法所涉及到的关键理论和技术要点。该方法能够提高业务开发的抽象层次,增强应用的重用性。     

支持Web软件用户界面自动生成的交互模型

讨论了Web软件用户界面的特点,提出了适应这些特点的界面交互模型;该模型用图形化的方式表达用户与软件界面之间的交互任务,并定义这些任务与相应域对象之间的关联;该模型支持Web应用界面代码的自动生成。     

UML模型到N层Web模型的模型驱动转换

模型驱动架构(MDA)是由对象管理组织(OMG)提出的应用模型技术进行软件开发的方法和标准体系,其核心理念是平台无关模型建模和平台特定模型转换。通过编程实现基于元对象机制2.0(MOF2.0)查询/视图/转换(QVT)标准定义开发的框架,该框架可以将元模型转换为特定N层应用程序类,实现主要程序功能,从而大大提高开发效率。验证了通过编程实现模型驱动转换的灵活性和功能实现的多样性,包括XML文件对模型规范的描述以及生成代码的完整性。