软件工程若干技术发展新趋势

从软件构件、软件生产线和可信软件这3个目前比较热门的技术入手,分析了目前软件工程领域的若干新技术的方向及发展趋势。在分析目前现状的基础上,提出了上海在这方面“十二五期间”的建议。     

面向对象的可信构件网的组装研究

以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了基于面向对象思想的可信构件网,从而 对构建的基于构件的可信软件模型中的可执行的构件集进行描述。 在描述的可信构件网模型框架中,将讨论两个构件基于连接件的并行组装、选择组装、顺序组装、循环组装。通过连接件的连接作用,根据一定的组织关系协调构件之间的关系,最终将组合的构件形成一个有机的整体。     

一种基于构件的可信软件系统框架及其表示

随着软件在信息社会中发挥越来越重要的作用,人们对软件系统的可信性方面的要求也愈来愈高。对可信软件和软件构件进行定义和分析的基础上,提出了一种基于构件的可信软件系统框架;一个基于构件的可信软件系统框架包括软件系统的信任根构件、可执行的构件集、HASH函数以及构件之间的控制权可信转移协议等部分;在此框架下,对基于构件的可信软件系统进行描述和表示。为基于构件的可信软件系统的构造和开发提供相应的理论支持和借鉴作用。     

基于C2架构的EJB构件组装

在基于构件软件工程（CBSE）开发方法中，构件使用者利用现有构件集成应用系统，因此，如何组装构件一直是人们研究的热点。在分析C2构架和EJB构件标准的基础上，提出了基于C2架构进行EJB构件组装的方法和步骤，并通过实例分析了这种方法的合理性和可重用性。     

可信业务构件的框架模型及其实现机制

目前,对于业务构件模型的研究主要是关注于业务构件的识别和描述方法两方面,而业务构件的质量则较少得到关注。质量必然是满足构件使用者的基本前提,而业务构件的可信则全面体现了业务构件的质量。本文提出了可信业务构件的框架模型和四大可信要素,同时给出了可信要素的实现机制,重点阐述了逻辑可信的实现机制。     

基于云模型的可信性评估模型*

软件应用领域极度扩展,促使软件可信问题被高度重视,但量化的软件可信性评估却是可信问题研究的难点。针对软件可信性量化问题,提出了基于云模型的可信性评估模型。以REST表述性状态转移超媒体分布式架构为背景,根据云模型理论定义了其组成构件的信任云以及系统综合信任云,用于评估构件的可信性和系统的可信性。从四个层面,探讨软件可信问题,以可信基础参数获取作为最底层输入,进而生成云模型,合并云模型,最终进入可信评估应用层面。实验结果表明,基于云模型的可信性评估模型是有效实用的,在可信度的不确定性方面增加了评估的灵活性。     

一种基于特定领域的可信构件度量模型

基于构件的软件复用是提高软件生产率和软件质量的有效途径,并在计算机系统中得到了广泛的应用。随着软件质量需求的提高,可信构件的研究也越来越受重视。构件的可信度决定了软件质量的高低,只有高可信度的构件才能够满足高质量软件的需求。因此,本文基于ISO/IEC25010软件质量模型,并结合构件本身的质量特性及其所应用的领域特性,建立一种基于某个特定领域的可信构件度量模型。在此基础上深入探究其度量指标的分析及选择过程,并用形式化的方法描述该模型的可信性。      

基于功能的构件演化模型的应用研究

基于构件的软件架构技术是软件工程领域中新兴的软件设计技术,其中构件演化理论成为目前软件工程理论研究的热点问题。本文从构件的功能出发建立了基于功能的构件演化模型,分析了该模型的性质,并通过该模型建立了构件演化的判断条件和演化后软件系统的可达性判断方法。     

基于模糊集合的构件资源信任评估模型研究

基于构件的复用来构建应用程序,可以显著提高应用程序的质量和开发效率。但由于Internet的开放性与动态性,使得选择出服务质量高且安全可靠的可信任构件难度较大。针对该问题,提出了一种构件资源信任评估模型,并分析了该模型中的可信需求模型定制、证据信息采集及可信评估方法等关键技术。通过实例对该模型的应用过程和科学性进行了分析,该模型为选择出可信的构件资源提供了一种有效的解决方案。     

一种软件行为动态可信研究方法及其可信要素

在信息安全领域中,软件的可信是在可用性、可靠性和安全性的基础之上建立的,是软件开发人员和用户都十分关注的问题。本文总结了可信和软件行为的概念,分析了软件可信研究的主要问题和方法,基于信任的定义和软件行为的特点,提出了一种软件动态可信研究的方法及软件行为动态可信的若干要素。     

基于构件库/工作流的可视化软件开发

在研究构件技术的基础上,结合工作流技术提出了一种新的软件开发模式,即通过将可视化的构件库与可视化的工作流编辑系统全面融合实现零编程的软件搭建平台。构件库包含了多层次和多粒度的可视化软件构件集合。工作流以业务流程为核心来组装各种构件以实现可视化的软件开发。论文提出了软件构件运行与逻辑控制分离的思想,通过构件库不同层次构件为用户提供良好的软件扩展性和移植性,通过工作流引擎的流程控制取代程序流程的过程控制实现面向业务的快速软件搭建,并支持任意流程的实时测试。这种软件开发模式拓展了传统软件工程的过程开发方式,能较好兼容自上而下和自下而上的软件工程方法,并能适用于BS/CS开发模式。该模型已在新一代GIS平台——MapGIS搭建平台中得到成功应用。最后分析了该软件开发方法的优缺点。     

基于多余度自治软构件的可信计算机制

随着网络技术的不断发展和信息化的普及,应用软件系统的可信需求越来越迫切.概括了可信计算研究的现状,针对可信应用系统在开发实施效率以及可信性控制灵活性等方面的问题,提出了构件级别的可信计算机制与评估方法,并介绍了实现该机制需要解决的关键技术,最后讨论了基于构件的可信应用系统的运行效率.该机制能够提高应用系统的开发实施效率及可信性控制的灵活性,提高系统可信性测评的效率,并且能够满足一般应用系统的效率要求.     

J2EE平台下的PLM构件库系统的设计与实现

软件构件库作为软件复用的一项重要基础设施,得到了产业界和学术界越来越多的重视。文中结合PLM项目背景,提出了一种在J2EE平台下的PLM构件库系统（PLMCLS）的设计和实现方案。给出了PLMCLS的整体框架,并用UML用例图说明该构件库管理系统包括的功能。PLMCLS把PLM构件整体上分为九个层次的构件,对各个层次上构件进行刻面描述并提供接口描述信息,在检索和匹配机制采用语义检索和语法匹配的模式,保证了构件的重用率并为快速掏建PLM系统提供了有效支持。     

构件检索维度匹配模型及算法研究

随着构件复用研究的深入和构件库规模的扩大,构件的描述、检索及适配技术成为当前研究的热点。然而传统的构件描述与检索方法存在查准率和查询效率低,查询结果也不利于下一步构件适配的问题。针对这些问题并结合分而治之和树匹配思想,提出了一种新的易扩展的维度匹配模型,并给出了相应的构件检索匹配算法,有效提高了构件的查询效率和查准率,缓解了适配的压力;且该算法的时间复杂度和空间复杂度是线性的。     

基于刻面分类模式的构件库检索方法

可复用软件构件的检索是构件库和软件复用领域研究的一个重要课题。基于刻面分类模式的检索方式拥有准确、高效的优势,因而得到了广泛应用。论文介绍了刻面分类模式的相关概念以及刻面树的创建方式,分析了基于刻面分类模式对软件构件库进行检索的规则,该规则将用户选择的刻面和术语通过合理的并和交运算组合生成数据库查询条件来完成检索。最后根据规则提出了相应算法以及刻面分类模式检索在实际构件库系统中的实现方法。     

基于刻面分类模式的构件库检索方法

可复用软件构件的检索是构件库和软件复用领域研究的一个重要课题。基于刻面分类模式的检索方式拥有准确、高效的优势,因而得到了广泛应用。论文介绍了刻面分类模式的相关概念以及刻面树的创建方式,分析了基于刻面分类模式对软件构件库进行检索的规则,该规则将用户选择的刻面和术语通过合理的并和交运算组合生成数据库查询条件来完成检索。最后根据规则提出了相应算法以及刻面分类模式检索在实际构件库系统中的实现方法。     

计算机软件构件认知

构件技术已经成为软件技术的重要组成部分之一，其研究对软件技术的多个方面的发展起到了积极的推动作用。但是，构件技术本身的研究却面临着若干问题。分析构件技术研究的现状可以得到，尽管对构件技术中基本概念的认知正逐渐趋于一致，但认识的差异依然存在。     

基于构件使用依赖关系的构件复用可信度计算方法

在网络构件库中构件数量持续增长的情况下,为解决用户无法从质量参差不齐的海量构件中选取优质构件的问题,提出了一种基于构件使用依赖关系的复用可信度计算方法。该方法将构件库作为证据库,首先,对证据库中的构件依赖信息进行采集整理;接着,定义每一个构件的基本信任函数,在此基础上根据构件依赖信息的不同来源为每一条证据设置不同的可信权重值;然后,通过特定的转换算法将由此获得的结果生成构件最终的可信度。实例分析中,利用该方法评估构件取得的结果值与预想中的一致,且与参考构件的内部与外部质量模型所得出的结论相符,但该方法大大降低了构件可信评估的工作量,提高了评估效率。结果表明该方法能够客观反映构件的可信性,可作为构件库中构件检索的一种可信度量机制,帮助实现构件的优质检索和复用。