基于构件运算的软件体系结构及其复杂性度量

为了达到对软件体系结构SA的描述目标,引进了基于消息的5种构件组合运算,并给出了基于这些运算的SA的图形与其代数表达式之间的转换算法。为了降低SA复杂性,给出SA的直观复杂性度量方法,提出了11种构件演化运算,并给出了一个实例。     

基于构件的工作流建模研究

采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范畴模型。利用范畴推出运算,给出工作流构件的组合操作语义,并用实例进行分析。     

基于范畴论的构件行为组合研究

针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。     

构件式系统的建模与验证

构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型-构件消息自动机,其特点是保留了构件的所有交互特性以便进一步进行构件的验证。给出了使用同步积操作将多个构件组合成单个复杂的组合构件的方法。基于监控理论的可控性概念,设计了一个验证构件系统安全性质的算法。为了说明论文建议的方法,详细讨论了一个简单的、贯穿整个论文的示例系统。     

基于构件库及构件组合的软件重用

介绍了一种具有动态组合特性的构件Ｐａｄ，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Ｐａｄ的组合规划消息传递协议，还简村介绍了一种在面向对象数据库的基础上实现构件库的方法，最后，介绍了已开发成功的一个构件重用支撑环境的原型。     

一种基于QoS的服务构件组合方法

在面向服务的架构中,如何利用已有的服务构件组装成新的服务成为当前此领域的一个研究热点．该文以构件化嵌入式操作系统Liquid为背景,给出了一种基于QoS的服务构件组合方法,在满足组合服务的功能需求同时,满足其QoS需求．文章详细给出了所涉及的服务模型、QoS模型以及构件选择基本算法．为使此服务构件组合方法适应于动态变化的系统环境,该文进一步对构件选择基本算法进行优化,给出了构件选择的启发和协商算法．最后通过实验,比较和分析三种算法的性能．     

基于形式规格说明的构件匹配

构件匹配依靠精确描述构件的语义，而形式规格说明基于严格的数学概念和理论。将两者结合起来，首先利用Z语言描述属性、方法和构件的类型，并在此基础上，通过一个例子，给出了各种匹配机制的公理描述。最后，介绍了构件匹配的一个重要应用——构件检索。     

基于构件运算的可重构系统代数模型

可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的"运算"实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例.     

基于语义网络的构件组织模型及实现

在基于XML的构件描述的基础上，给出了一个面向领域的、层次构件语义网络组织模型及其功能说明。实验系统证明依据上述模型构遣的构件库，能够为程序挖掘中的构件组装的可靠性提供保证。     

基于知识的可重用构件查询系统KCQ

本文提出了一个基于知识的、支持面向对象程序设计方法的软件重用构件查询系统，本系统采用了语义网络知识表示模型，提供了构件知识表示语言ＣＫＲＬ，来描述可重用构件的特征和用于检索的知识．提供了语义网络联想式查询、条件查询和构件评价．     

基于构件视图的组装技术

构件组装技术是基于构件的软件开发的核心技术,目前已经存在多种构件组装方法.构件视图是一种构件库管理机制,利用构件视图可以从不同的角度对构件之间的关系进行描述.在简单介绍了现有的构件组装技术的基础上,阐述了构件视图的含义、作用以及构件视图模型,并以基于体系结构的构件组装方法为理论基础,将构件视图的概念引入到组装技术中,给出了一种基于构件视图的构件组装方法,介绍了此方法进行构件组装的流程和此方法的关键技术.     

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.     

基于逻辑推理的构件组装策略及其算法

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求．该策 略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2 种基于逻辑推理的检索算法SABLR（searching algorithm based on logical reasoning）和ASABLR（advanced searching algorithm based on logical reasoning）加以支持． 检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息．算法可以判别2 种状况：一是库中 直接含有请求构件信息,二是库中部分构件可经组装后满足用户请求．克服了普通构件检索算法无法判别第2 种状 况的缺点．最后,通过实例分析和算法ASABLR 的实现,证明该策略的有效性和可行性．     

实时构件合成的语义研究

实时构件合成是实时应用系统中软件合成的基础，是实现软件复用思想的软件生产活动，其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开，规约为实时构件合成中的分析理论。     

基于复用的.NET组件接口模型的研究

有较高封装性的组件是软件复用研究的重点。为了满足我们设计和定义的多种组件模型,首先介绍了支持软件复用的、支持设计和实现统一的、多种类型的.NET组件接口模型定义;接着介绍了各种类型接口的实现方式,包括类设计器和控件工具箱等;详细分析了采用多种组件接口模型的意义。     

一种基于对等计算的构件模型研究

基于构件的软件开发,是软件工程领域一个重要的方法,其中构件模型是该方法的理论基础.目前,适用于基于对等结构的分布式应用软件开发的构件模型尚不多见.针对对等应用软件的特点,首先在给出一个开发框架的前提下,对对等应用软件进行了构件特征分析,并将基于该框架开发的对等应用软件系统所涉及到的构件形态,归结为可迁移构件、轻量级构件和耦合容器构件3类,然后在此基础上提出一个支持对等应用的构件模型,并对构件模型中语义和语法进行了表述,最后介绍了该构件模型的生成与部署、合成与组装、查找与匹配、通讯与协作、以及相关对比等方面的研究工作.     

基于组件模型分析的组件容器产品线体系结构

组件容器为组件提供部署和运行环境,是基于组件分布式应用开发的核心.近年来分布式组件的多样化和快速演化对组件容器的开发方法提出了挑战.产品线工程是基于公共的核心资产开发特定领域内软件产品系列的软件工程方法,产品线体系结构是其中最重要的部分.进行组件容器产品线体系结构的研究能够提高组件容器的结构复用性,获得更高的生产效率和质量.由于组件模型是组件容器设计的基础,在领域分析阶段引入组件模型分析,提出了组件模型分析框架,通过组件模型元素到领域需求元素的映射,建立组件容器领域模型.提出了组件容器设计的基本原则,并根据变化性封装原则,提出了组件容器产品线体系结构PLACE,通过引入可选属性、模块层次结构和决策模型,实现组件容器的领域需求.PLACE产品线体系结构已在网驰平台的多个组件容器设计中得到应用.     

基于通用连接器模型的复合构件的组装

基于构件的软件体系结构(SA)由构件与连接器组成，连接器作为构件间的交互实体在SA中扮演着重要角色。现有的连接器模型只能支持特定软件体系结构风格的组装，该文针对构件组装的核心问题：构件间交互的不匹配，采用复合构件组装的方法，提出一种通用连接器模型用以对不同连接器模型进行描述。给出4种复合构件组装机制及各种机制的组装方式，并对复合构件进行扩展，使其具有动态性，能较方便地实现动态体系结构。