基于构件组合运算的SA可演化性度量

在满足当前需求的众多软件体系结构（SA）中，选择适应未来发展变化的（SA），需要度量软件体系结构可演化性SAE。本文提出了基于构件组合运算的SA；从构件组合运算和SA两个层次分析了构件操作的波及效应，提出了一种新的SAE度量方法，设计了度量算法；在给出的实例中，度量了同一系统的不同SA的可演化性。最后，根据领域软件工程的特点，利用特征迹，对SAE的度量方法进行了改进。该度量方法克服了传统方法需要大量数据、过度依赖人工参与和个人经验、只适合小规模系统等不足。     

基于消息的构件组合运算与构件演化

根据构件能够接收和发送的消息，扩展了构件接口定义框架，给出了基于消息的构件组合模型，定义了构件的执行路径，对四种组合运算进行了形式化描述，提出并证明了六则构件演化运算．给出了一个实例：把一个没有显示语义的层次系统模型简化为语义明确的树形组合模型，并给出了模型的代数表达式和简化算法．     

基于非功能需求的软件体系结构演化

对非功能需求NFRs进行了描述,根据功能需求、NFRs与SA的关系,定义了基于NFRs的SA演化,使用构件组合运算和结构工作链对软件体系结构的非功能特性进行了评估,根据评估结果,给出了基于NFRs的SA演化模型。     

基于构件技术的虚拟电子测量仪器实现研究

首先提出了虚拟电子测量仪器构件的定义及其结构模型,给出了虚拟电子测量仪器构件的五种组合运算及运算规则,并对运算规则进行了详细的形式化定义,从而确立了虚拟电子测量仪器软件系统的代数表达式。     

基于构件运算和XML的体系结构描述方法

通过对现有的体系结构描述方法进行分析,指出其存在的不足,并提出了一种基于XML的体系结构描述方法:XCOBA。XCOBA在基于构件运算的基础上,把XML应用于SA的描述,具备较多的良好特性。由于XML的特性,XCOBA支持系统的逐步精化与演化,可以实现异构构件之间的相互通讯,在XCOBA方法描述下的SA具有良好的扩展性。     

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

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

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

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

基于可达矩阵的软件体系结构演化波及效应分析

构造性和演化性是软件的两个基本特性.软件演化由一系列复杂的变化活动组成.软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.描述了SA的构件--连接件模型,建立了SA关系矩阵和可达矩阵,凭借矩阵变换与运算对SA演化中的波及效应进行了深入的分析和量化界定;并对演化中的构件删除、增加和修改以及构件的合并与分解等变化活动所引起的各种波及效应给予了阐述;同时,给出了构件在SA中贡献大小相对量的计算方法.为SA演化的管理、控制、利用和评价提供了可靠的依据,并为基于矩阵变换的SA演化的计算机自动处理奠定了基础.     

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

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

基于工作流引擎的构件组装体系结构

近年来,软件体系结构(SA)、基于构件的软件开发技术(CBSD)等开始在软件开发中发挥出重要的作用.CBSD应用的成功主要体现在自底向上构造系统的方法上.目前,对SA的研究还缺乏一种自顶向下的构件动态组装方法,尤其是过程构件的组装.以工作流技术为基础,以基于Web应用为背景,研究了基于工作流引擎的构件组装方法.从业务过程的基本要素——业务对象、控制流和数据流入手,详细分析了这些要素在构件环境下的特点和交互模式,并以此为基础提出了一种基于工作流的引擎的过程构件组装体系结构.该体系结构中除了考虑常规的控制流驱动的构件组装外,还深入研究了文档型的数据流驱动的构件组装机制,能够为其他研究者将文档型工作流技术应用于软件构件组装提供借鉴和参考.     

多Agent系统中软构件的动态绑定机制及其操作语义

近年来,越来越多的以计算机网络为平台的应用系统表现出自主性、动态性、开放性和异构性的特点,这使得软件开发理论和技术需要从软件体系结构的角度对这类系统的开发提供支持.面向Agent的软件开发技术提供了高层和自然的抽象方式对软件系统进行分析和设计,但现有面向Agent的方法学将Agent Class或者Agent Type视为多Agent系统软件体系结构的软构件,与Agent之间的关系仅仅是实例化的关系,这难以满足复杂系统对动态性的需求.从软件体系结构的角度上分析了多Agent系统中软构件的形式和机制,将Caste作为软构件,并以此为基础提出了Caste与Agent之间的动态绑定关系,定义了支持该机制的4个基本操作:join,quit,activate和inactivate及其操作语义,用以来指导多Agent系统软件体系结构的设计和实现.     

软件体系结构与组件技术

在理论上，软件体系结构和基于组件的开发是理想的匹配；另一方面，软件体系结构是可重用软件组件的一种自然补充。只有通过实现体系结构模型，才能体现组件互操作性模型的所有优点。首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素；然后讨论软件组件技术与软件体系结构方法相互之间的要求，并探论了将软件体系结构与软件组件结合起来的可能途径。     

软件体系结构模型单层化的一致性保障方法

在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.     

ABC:基于体系结构、面向构件的软件开发方法

基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径,并在分布式系统中得到了广泛的应用.但是,目前的软件构件技术主要还是着眼于构件实现模型和运行时互操作,缺乏一套系统的方法以指导整个开发过程.近年来,以构件为基本单元的软件体系结构研究取得了较大的发展.它通过对软件系统整体结构和特性的描述,为面向构件的软件开发提供了一个自顶向下的途径.介绍了一种以软件体系结构为指导,面向构件的软件开发方法,试图为基于构件的软件复用提供一种有效的解决方案.这种方法主要是将软件体系结构引入到软件开发的各个阶段,作为系统开发的蓝图,利用工具支持的自动转换机制缩小从高层设计到实现的距离,而后在构件平台的运行支持下实现自动的系统组装生成.