结合可信度模糊评价与动态聚类的构件选择

开放、动态的Internet环境下,网构软件面临可信性的重大挑战。运用模糊理论,提出了一种满足最贴近用户可信度期望的构件选择方法。该方法中,定义了网构软件环境下构件的6种可信属性,介绍了一种多因素的构件可信度模糊综合评价方法,以此为基础,建立了一种满足用户可信度期望的网构软件模型,为实现候选构件与抽象构件的映射,应用基于模糊等价关系的动态聚类实现可信构件的选择。结合案例说明了方法的有效性。     

基于粒子群算法的构件组合技术研究

在开放、动态的网络环境下,为了解决网构软件动态组装问题,提出一种改进的基于粒子群的优化算法。首先在多约束条件下设计模型的可信组合方案,通过改进的粒子群算法进行最优求解,找出构件模型的最优组合。结合实验仿真和实证研究,结果表明所提方法在求解多约束构件组合优化问题上是有效的,能提高网构软件组装的效率和可信性。     

一种网构软件构件选择方法

针对网构软件构件选取问题的特点,将网构软件构件选取问题中的构件选择问题CSPI映射为MMKP,提出一种基于遗传算法的网构软件构件选择方法。该方法首先对构件库中的构件依据构件的功能刻面分类并检索,得到检索集;然后引入遗传算法,从检索集中选择多个合适的构件构建网构软件;接着,引入蚁群算法中的正反馈思想,对遗传算法中的变异操作进行改进;最后,实验结果表明:遗传算法能够选择合适的构件构建网构软件,并且改进的遗传算法能够选择更合适的构件构建网构软件。     

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

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

基于构件的可信软件设计方法

随着计算技术的快速发展,人们对软件的可信要求越来越高,本文提出了一种基于构件的可信软件设计方法,将软件划分为构件,通过构件关系组织成构件树,对软件进行可信性度量。     

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

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

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

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

特征模型驱动的网构软件构件组装与优化方法

面向特征的领域分析方法可为网构软件中资源的有序化提供有效支持.从领域工程的角度出发,提出一种特征模型驱动的网构软件组装与优化方法,该方法以iJackson图描述网构软件的特征模型,结合软件体系结构特点,分析了将特征模型转换为面向业务构件、基于工作流图技术的组合模型的机制,通过应用图论方法,将组合模型建模为以领域特征簇为中心的构件组装结构图,围绕面向多目标需求的QoS模型,建立了Internet环境下网构软件构件组装问题的数学模型,提出了一种基于蚁群优化算法的全局优化方法.最后,以网上书店系统为倒,介绍了仿真实验过程,并说明了方法的有效性和可行性.     

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

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

面向服务的构件可信演化策略

针对目前软件动态演化研究很少考虑可信方面的不足,以面向服务的构件为对象,提出一种构件可信演化策略。该策略包括构件可信演化的相关定义、推理规则、计算公式和声望更新模型。在演化过程中,该策略根据构件提供的各种服务的可信性计算出构件的声望值,由构件的声望值向导构件的可信演化,并根据实际演化情况动态更新构件的声望值。最后,通过案例进行分析,验证了该策略的有效性。     

基于构件的一卡通清算系统设计与实现

软件复用技术已经成为软件系统开发的优先选择,一卡通清算系统已经在越来越多的城市得到了应用,而基于构件的软件开发能够很大程度地提高一卡通清算系统的开发速度和开发效率。对一卡通清算系统进行研究,分析系统的应用架构,提出其构件层次模型,将公共功能部分封装成为构件,并结合构件层次模型设计基于构件的系统开发流程。最后,给出一卡通清算系统中构件实例的设计与实现。     

构件系统建模及其动态演化一致性验证方法

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。     

嵌入式软件中一种修正QoS值的构件选择方法

CBSD(Component-Based Software Development)已经成为嵌入式软件开发的主流技术。在嵌入式环境下,有大量功能相似的构件,在开发过程中基于QoS的构件选择已成为研究热点。然而这些构件的QoS声明与提供者给出的往往并不一致。为此,提出一种基于修正QoS值的构件选择方法,该方法将QoS信任度作为权重,修正QoS值,再结合模糊逻辑,推理出该构件的综合服务能力。通过嵌入式VOD仿真实验,验证了算法的有效性,保证了构件选择的客观性和准确性。     

基于刻面描述的构件查询匹配模型及算法研究

在软件复用研究不断深入的情况下，软件构件库的管理研究得到了产业界与学术界越来越多的重视。作为构件库管理的两个核心技术，构件的表示与检索技术已经成为研究热点，其中基于刻面描达的构件相关应用得到了广泛研究，针对构件查询的特点，结合模式分析申的树匹配思想，本文提出了一种新颖的构件树路径包含匹配模型及其相应的构件查询匹配算法，该算法可以在保持构件查准率的前提下，有效提高构件的查全率，算法的时间复杂度和空间复杂度是线性的，试验表明具有良好的查询效率。     

一种可扩展的构件库数据模型

在基于构件的软件开发（CBSD）中，构件库是描述、存储和检索软件构件的基础设施。随着软件复用技术的成熟，构件库中构件的种类日益增多，构件间关系日渐复杂。这需要构件库数据模型提供相应的支持。为了给构件库的实施者和管理者提供指导，有效地发挥构件库的作用，本文提出了一种可扩展的构件库数据模型ECLDM。该模型以UDDI和BIDM为基础，对其结构进行了修改和扩充，并定义了扩展机制。利用本模型可以有效地描述和管理构件库中各种信息，并可以和UDDI、BIDM进行互操作。     

一个基于构件的分布式多媒体存取机制CDMAM

本文提出了一种分布式多媒体存取机制ＣＤＭＡＭ,ＣＤＭＡＭ基于多媒体数据处理的流水线模型,以构件作为分布式多媒体数据存取基础,实现了媒体基本处理、ＱＯＳ状态调整以及同步控制等功能,通过构件管理器,ＣＤＭＡＭ实现了网络透明和平台无关。     

基于逻辑推理的构件行为片段提取与重组研究

从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。     

面向体系结构的构件接口模型及其形式化规约

借鉴软件体系结构的思想，提出了面向体系结构的构件接口模型，它既能表达体系结构设计的高层抽象构件，又能表达底层代码级别的实现构件。同时基于该模型，运用顺序通信进程，提出了两级构件接口行为协议规约方法，能够有效规约大粒度复杂软件构件的行为交互协议。     

异构软件构件组装模型设计与实现

研究了异构构件组装方法，根据主流构件模型的差异，设计了异构软件构件组装模型，使构件对外呈现一致的构件视图，屏蔽构件的异构性，有效地利用系统资源，最大限度地为应用系统的生成提供支持。