生成式程序设计研究概述

随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计:基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生离定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分:问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期:一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。

下一代网络业务领域模型及应用

为了促进下一代网络业务的发展,基于对领域模型和领域分析方法的研究,提出了一种面向特征的下一代网络业务的领域概念模型(NGNSCM),阐述了NGNSCM的模型结构及关键设计,包括消除特征与构件之间耦合关系的方法以及提取、设计和组织领域构件的方法等.在下一代网络应用服务器设计中的应用表明,NGNSCM具有一定的可行性.

基于特征精化的产生式编程方法研究

针对当前产生式编程方法不能有效地应用于复杂软件系统(如信息系统)的开发,不能在分析和设计的层次上复用软件等问题,本文提出了一种基于特征精化的产生式编程方法,基本思想是首先使用特征模型(Feature Model)描述领域内的概念和特征,然后使用特征精化的方法将特征精化为基本特征,用基本特征和之间的关系说明特征是如何实现的,最后将基本特征映射为组件,根据系统的特征模型组装组件,构建整个软件系统。基于特征精化的产生式编程方法是建立在特征和组件的基础上的,适用于信息系统类软件的开发。

基于混合策略的de novo序列拼接算法构造

在对3种de novo(从头)序列拼接的基本策略进行分析的基础上,该文研究了混合策略序列拼接算法的构造过程,从而整合多个单一策略优点;再利用形式化方法和形式化平台方面的优势,结合领域分析建模和产生式编程的方法,构造了2个基于OLC策略的算法(OLC_assembly_1,OLC_assembly_2)及1个基于DBG策略的算法(DBG_assembly),进一步组装出在(OLC+DBG)→OLC混合模式下的算法(简称ODO算法);最后,从GenBank中选取了3个实验样本,从N50、Contigs number、Coverage等角度,比较了在3个单一策略下的算法和ODO构造算法的拼接结果,分析了coverage depth和k值的变化对拼接结果的影响.实验结果表明:该文实现的ODO算法比单一策略在序列拼接时所产生的结果在N50和Coverage等参数上均有一定的优势.