一个数据模型驱动的代码生成工具的设计与实现

提出一个数据模型驱动的代码生成工具的设计与实现方案.方案尝试在代码生成过程中引入数据模型.首先,分析ERP领域业务逻辑的特征,抽象出ERP简单业务逻辑模型;然后,基于数据模型生成代码,使得概念设计的复用成为可能.代码生成工具有较好的可扩展性和可重用性,可望提升ERP软件的开发效率和适应性.     

可移植编译程序的代码生成

本文给出了对自动化可移植代码生成技术的分类,并对有关这些技术的工作进行了综述。可移植代码生成的研究方法共分三类:解释代码生成,模式匹配代码生成以及表驱动代码生成。解释代码生成方法是先为虚拟机生成代码,然后再把该代码扩展成实际目标代码。模式匹配代码生成方法是把机器描述和代码生成算法分离。表驱动代码生成方法是利用形式化的机器描述和代码生成程序的生成程序,自动构造代码生成程序。本文对这些技术进行分析,并对各种自动代码生成算法进行评述。     

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

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

一个可重用的应用服务器框架的设计与实现

框架是应用系统或于系统的可重用设计，通过重用框架的设计和代码可降低应用开发成本，提出了一个可重用的应用服务器框架RASF，并给出了软件结构、设计方法和实现技术，RASF采用消息驱动的多进程，多线程结构，以黑板实现多线程之间的协同，可作为应用服务器的构造模板，具有较强的通用性，可扩展性、灵活性与可重用性。     

支持MDD的代码生成、映射与逆向技术研究

对代码生成、映射以及逆向技术进行了深入研究,并将研究成果应用于支持模型驱动开发的领域建模工具的研制。代码生成采用基于元数据的文本模版演化方案实现,演化机制包含宏替代、条件输出、循环输出;代码映射通过界定框架代码片段,并分别对其进行局部的代码生成、替换实现;代码逆向通过解析框架代码片段、提取模型信息实现。分析了模版设计、代码扫描所需遵循的文法。给出了软件实现方案。应用结果表明,技术与实现方案在不同的应用环境中体现出良好的适应性和可扩展性。     

测试驱动开发探讨

测试驱动开发是一种新的软件开发方式。探讨了测试驱动开发方法对于软件开发的各个阶段的影响,并探讨了测试驱动开发方法的优点及其存在的问题。测试驱动开发能够提高代码的质量,帮助设计出可重用和可测试性的代码,是一个有影响的研究方向。     

一种支持多目标框架的模型驱动开发方法

平台无关模型到平台相关模型的转换是OMG提出的模型驱动架构(MDA)中的关键技术。目前多数开发工具将平台相关模型定义为具体的目标运行框架,这严重降低了软件演化过程中设计模型的可重用性。为此,引入抽象平台相关模型和具体平台相关模型的概念,使基于某种平台的业务逻辑设计与目标运行框架相分离,提出一种支持多目标框架代码生成的扩展MDA开发模型。实验证明,该方法提升了模型描述的灵活性和可重用性,能够对模型驱动的软件开发提供有力的支持。     

数字校园中基于JSF的通用查询设计

提出了在数字校园应用系统中,基于JSF的一种通用查询设计和实现。该设计的目的是达到数字校园应用系统查询功能的分布式和跨平台性以及较高的重用性与可配置性。该设计方法是在J2EE规范下,采用基于JSF组件的Web应用和EJB相结合的框架体系。对该设计进行了实现,达到了预想的效果。因此,采用JSF组件作为Web应用,结合EJB组件的通用查询设计可以获得更好的重用性和可配置性,而且拥有J2EE的良好的分布和跨平台性。     

基于三层架构的中文学习平台设计

中文学习平台需要适应不同地域环境和不同语言环境的中文学习者,其最终的实现要求用户对其进行配置、使用和维护。设计一款代码简洁、可重用性强、易于测试的软件是最终目标。传统的基于．NET平台Web软件开发采用的三层架构中的展现层中显示页面和后台代码耦合性高、测试困难、可重用性差。因此该文采用将MVC模式引入到三层架构中的方法,将三层架构中的显示和逻辑代码彻底分离,应用到中文学习平台架构的设计和开发中。设计和开发过程中重点分析了中文学习平台的各种灵活性和重用性需求,实验证明,引入MVC设计模式的三层架构很好地满足了开发要求,使软件易测试并具有很强的可移植性。     

数字校园中基于JSF的通用查询设计

提出了在数字校园应用系统中,基于JSF的一种通用查询设计和实现.该设计的目的是达到数字校园应用系统查询功能的分布式和跨平台性以及较高的重用性与可配置性.该设计方法是在J2EE规范下,采用基于JSF组件的Web应用和EJB相结合的框架体系.对该设计进行了实现,达到了预想的效果.因此,采用JSF组件作为Web应用,结合EJB组件的通用查询设计可以获得更好的重用性和可配置性,而且拥有J2EE的良好的分布和跨平台性.     

RTW嵌入式代码自动生成机制与代码结构分析

随着代码自动生成技术的发展,基于文本规范的传统嵌入式软件开发模式逐渐被基于模型的设计方法所取代,代码自动生成技术是基于模型的开发方法中一项核心技术,而MATLAB中RTW工具箱是代码自动生成最优秀的工具,首先对基于RTW的代码自动生成机制进行了分析,研究了VxWorks目标代码的结构及变量命名规则,并从程序实时运行机制方面进行了分析,方便用户对自动生成的代码进行二次开发;采用该技术进行VxWorks嵌入式软件开发,可大大提高开发效率。     

基于状态空间模型的无线网络控制仿真研究

针对采用状态空间模型描述的几类无线网络控制系统,介绍了基于TrueTime的无线网络控制系统仿真程序的设计与实现问题。首先介绍了TrueTime工具箱的组成,然后给出了如何利用无线仿真模块实现基于状态空间模型描述的控制系统仿真方法。分别考虑当系统具有单输入多输出、网络诱导时延、数据丢包、时滞脉冲等特性时,利用TrueTime仿真工具箱,如何建立上述系统的无线网络控制仿真模型以及如何编写相应的程序代码。根据上述不同模型的仿真可以看出,对于不同的系统,他们的初始化设置基本相同,而任务代码却有很大的差别。仿真曲线符合理论结果,说明了仿真模型和程序代码的正确性与有效性。     

A generic framework: from modeling to code

Model-driven development (MDD) is a very popular technique in the area of software development, but this technique is criticized due to lack of a formal semantics. MDD is used for large-scale system development using semi-formal techniques like UML (Unified Modeling Language), which are not amenable to formal analysis and consistency checking. Formal methods with MDD may provide an assurance of correctness of the system. This paper advocates an approach to building generic framework for rigorous MDD that is based on combining semi-formal notations with formal modeling languages, correctness of the system using model checker and automatic code generation from the verified formal specification. The main objective of this work is to apply model-driven techniques and tools with formal verification and its code generation for designing critical systems. An assessment of the proposed framework is given through a case study, relative to the development of a cardiac pacemaker system.     

一类不确定线性系统的鲁棒自适应控制

针对一类同时具有匹配不确定性和不匹配政治面目 确定性的线性系统,首先采用李雅普诺夫稳定性定理,结合基于矩阵不等式的鲁棒控制器设计方法和变结构控制方法,设计鲁棒控制器,使得闭环系统是二次渐近稳定的,然后,利用自适应参数估计方法,设计具有匹配不确定性范数界估计能力的鲁棒自适应控制器,保证闭环系统的一致终结有界,在此基础上,进一步考虑系统中可能的未知不确定性,分析闭环系统的鲁棒性,并得到了相应的控制器设计方法。     

RE控制程序源代码自动生成程序的研究与实现

讨论了一个基于Orad Render Engine的RE控制程序源代码自动生成程序的设计思想与实现技术,通过编写一个文档分析程序,以控制命令的说明文档作为输入,按照预定的正则表达式规则,分析出命令的结构化数据,并动态创建XML格式的代码模板。最终系统根据动态生成的模板自动生成出控制程序的源代码。     

面向对象的遗传算法及其在神经网络辅助设计中的应用

在现有的遗传算法的基础上,采用面向对象技术设计了面向对象的遗传算法,建立了遗传算法的类层次。这种方法改变了在传统的遗传算法中各个函数之间只有参数的传递,而没有代码的继承性的状况从概念上提高了软件的可重用性。该方法在人工神经网络的辅助设计问题中的应用表明,这一算法由于采用面向对象的分析与设计方法,从而具有比传统的遗传算法更好的通用性,用户可以更方便地设计和实现自己的编码方案和遗传算子,大大提高了软件的可重用性。     

一个源代码自动生成工具的设计与实现

讨论了一个源代码自动生成工具的设计思想和实现技术,关键性技术是基于标记语言XML的模板语言。它将被应用到嵌入式组件中去,通过对已有模板的配置来生成源代码。     

一个源代码自动生成工具的设计与实现

讨论了一个源代码自动生成工具的设计思想和实现技术,关键性技术是基于标记语言XML的模板语言.它将被应用到嵌入式组件中去,通过对已有模板的配置来生成源代码.     

一种基于双角色的代码授权Web安全组件的设计

安全性问题一直是计算机软件应用中的一个重大问题。本文介绍了一种适用于ASP.NET应用程序的基于双角色的代码授权安全技术，通过对代码进行静态的或动态的授权配置，在受安全保护的代码被调用或被执行前验证用户身份，只有通过验证的用户才被授予执行特定操作的权限，从而才能调用或执行代码。应用这种技术可以保护只允许特定用户执行的特定操作，保护业务规则，应对数据信息篡改泄漏的威胁，并防止恶意行为。考虑到组件的重用性，作者设计了安全组件。     

水利项目设计资料信息集成系统开发

将信息集成与过程集成相结合,利用设计院已有的企业网,开发组件式设计资料信息集成系统。并以锦屏一级水电站项目设计资料信息集成管理系统(DDIIMS)为例,介绍了过程集成中资料互提管理和版本管理问题的解决方案。这样既可保持成员数据库的独立和自治,又可以进行大规模数据集成,增强过程的自动执行性,提高系统代码的可重用性。