基于CHAM的软件连接件形式化模型

软件连接件是软件体系结构中的一个重要概念，是构件间相互作用的媒体。用形式化方法对其模型加以描述是软件体系结构研究中的一个重点。化学抽象机形式化语言(CHAM：Chemical Abstract Machine)是一种通用的、简单直观的计算模型描述语言。本文在分析了连接件语义模型的基础上，提出了一种基于CHAM的软件连接件描述模型，从软件连接件静态组成及动态行为两个方面对连接件进行形式化、规范化地描述和分析，以期进一步实现简化软件连接件的设计、增强其通用性的目的。     

面向方面的软件连接件复用研究

软件连接件是软件体系结构的重要组成部分,是构件间实现交互的唯一媒介.随着软件系统的复杂程度日益增加,连接件的复用的设计及实现对研究软件体系结构的适应性具有愈来愈重要的意义.因此,提出一种新颖的连接件复用方法,首先将面向Aspect软件开发思想引入到软件连接件中,利用Aspect机制中的Advice,对连接件中的非功能属性进行模块化封装并同连接实现分离.其次在复用连接件时插入不同的Advice,以实现具体的连接.该方法试图为连接件的复用提供一种有效的解决方案,以达到增强软件体系结构适应性的目的.     

基于主动连接件的软件体系结构及其描述方法

连接件是软件体系结构描述中的重要概念.该文在连接件中引入引擎机制,使其在与相关组件 连接的过程中成为运行活动的触发元素,而且在目标系统实现中转化为可见的组成部分,这种 连接件称作主动连接件.文章介绍一种基于主动连接件的软件体系结构的基本概念及其描述 语言.     

连接件模型与分类研究

连接件对于基于软件体系结构的软件开发具有重要意义,该文根据连接件在软件体系结构中所承担的责任以及它对构件交互的支持,建立了连接件模型,进而根据软件开发中的连接实现以及软件体系结构风格的研究,对连接件进行了分类,包括过程调用等11类连接件,不同类型的连接件支持不同的实现映射和复用途径。     

一种基于灵巧连接件的软件体系结构

为了提高软件的重用性和维护性,本文提出了一种基于灵巧连接件的软件体系结构SCBSA。SCBSA是构件化和独立连接件思想相结合的产物,它将连接件进一步构件化得到灵巧连接件,从而形成了一个彻底的构件化体系结构。文章对SCBSA的主要概念和体系结构风格以及SCBSA的实现环境进行了详细讨论,然后列举了一个SCBSA的应用实例,最后将SCBSA与相关研究工作进行了详细比较分析,并对SCBSA的特点进行了总结。     

软件连接件的分类及其应用研究

1 引言连接件在软件体系结构中占有重要的地位。绝大部分的软件体系结构分析方法,均把连接件作为一个单独的实体进行分析。把原本分散在系统各个部分的连接成分,组成一个单独可见的实体,并把它提到与组件相同的重要程度,这是软件体系结构分析的重要成果之一。当前,国内外对体系结构研究的主要方面有:     

基于工作流与Web Portal的分布式软件框架研究

基于表示、业务逻辑和数据的三层软件体系结构已成为大规模分布式软件系统的基本模式。针对其结构灵活、可维护、易扩展的进一步需求,探讨了采用Web Portal实现表示层,采用工作流实现逻辑层的技术思路;在此基础上,为三层软件体系结构设计了一种通用、灵活的软件框架;最后,给出了作者实现的框架原型和用例。     

基于AOP的软件体系结构适应性研究

软件连接件作为软件体系结构的重要组成部分,负责构件间的交互,对软件体系结构的适应性有重要影响.本文在面向方面软件开发和基于构件软件开发相结合的基础上,针对系统体系结构的适应性,将面向方面编程(AOP)方法引入到软件连接件中,然后提出面向方面连接件概念及其模型,最后归纳AOP技术对软件体系结构适应性的改善.     

一种面向方面软件体系结构中的编织机制研究

在面向方面软件体系结构设计中,通过指定注入位置、时机及约束,将封装了横切行为和特征的方面组件与组成软件体系结构(SA)的组件、连接件编织起来,形成一个有机整体,这对SA整体行为和质量特征的分析和验证具有十分重要的意义.提出一种SA层编织机制,它基于AC2-ADL建立的编织前SA模型,通过明确定义的编织过程和相关编织规则,将编织前独立设计的方面组件显式地织入到组件中,使得最终形成的仅含组件、连接件的编织后SA模型更加易于分析和验证.最后结合案例进一步对该编织机制作详细解释.     

一种容错的面向服务体系结构描述语言

针对如何构建具有容错能力的面向服务软件体系结构的科学问题,提出了一种新型的支持异常处理的面向服务体系结构描述语言SOADL-EH。该语言不仅具备表示面向服务软件体系结构的建模能力,还提供了异常处理服务、异常连接件及异常配置等语言成分,清晰地将面向服务软件体系结构层的异常处理逻辑从正常业务逻辑中分离出来,弥补了已有的面向服务体系结构描述语言在建模异常处理能力方面的不足。     

层次式软件体系结构的设计与实现

软件体系结构的研究已经成为当前的研究热点,软件体系结构设计已经成为软件生命周期中的一个重要环节。提出了层次式软件体系结构的概念,结合一个实例,论述了层次式软件体系结构的基本思想和结构框架,研究了层次式软件体系结构的设计与实现过程。     

软件连接件的分类及研究

连接件是软件体系结构中的一个非常重要的概念。作者基于体系结构讨论了连接件的概念并且从不同的角度对连接件进行了分类。在本文的最后还给出了连接件的一些特性。     

大型复杂软件系统安全需求的体系结构模型

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而传统的体系结构没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此在体系结构层次上描述安全需求还比较困难。本文首先论述了在体系结构层次上描述安全需求的必要性。然后,在传统体系结构单元——部件／连接件的基础上,引入了安全构件、半安全构件、安全连接件、半安全连接件等新的设计单元,并给出了这些设计单元形式化的语义和约束以及图形模型,解决了软件系统安全需求的构件表示方式。最后,用一个实例展示了软件系统安全需求的体系结构模型。     

基于领域工程的卫生监督信息系统研究与实现

在领域工程理论的指导下,通过分析研究卫生监督领域各业务领域的特点,采用面向特征的领域分析方法,结合面向对象的软件工程思想,得出了该领域的可继承的业务通用构件及系统体系结构,并阐述了卫生监督信息系统的领域分析、领域设计和领域实现的详细建模过程。     

一个改进的基于构架的软件可靠性模型

本文通过对Wen-LiWang等人提出的基于构架的软件可靠性模型的改进,克服了该模型在不同结构中存在的对连接器的可靠性考虑不足的问题,同时,还提出了在混合结构中如何构造状态转换矩阵的方法,极大的拓宽了模型的应用范围,为分析构件、连接器和某种结构对整个构架可靠性的影响提供了一定的理论基础。     

一种构件化动态软件系统组态模型

在讨论软件构件技术复用现状的基础上,借鉴工业控制领域的组态概念,提出了一种构件化动态软件系统组态模型。其基本思想是：在一定的软件体系结构基础上,用系统的宏观逻辑组态描述联结实现系统具体功能的软件构件,定制组装成完整的应用系统。构件化大大提高软件开发的速度和效率,逻辑和实现的分离明显改善软件系统的灵活性和逻辑可扩充性,系统逻辑组态描述能始终保持软件系统应用和需求的一致性。     

Semi-automated architectural abstraction specifications for supporting software evolution

In this paper we present an approach for supporting the semi-automated architectural abstraction of architectural models throughout the software life-cycle. It addresses the problem that the design and implementation of a software system often drift apart as software systems evolve, leading to architectural knowledge evaporation. Our approach provides concepts and tool support for the semi-automatic abstraction of architecture component and connector views from implemented systems and keeping the abstracted architecture models up-to-date during software evolution. In particular, we propose architecture abstraction concepts that are supported through a domain-specific language (DSL). Our main focus is on providing architectural abstraction specifications in the DSL that only need to be changed, if the architecture changes, but can tolerate non-architectural changes in the underlying source code. Once the software architect has defined an architectural abstraction in the DSL, we can automatically generate architectural component views from the source code using model-driven development (MDD) techniques and check whether architectural design constraints are fulfilled by these models. Our approach supports the automatic generation of traceability links between source code elements and architectural abstractions using MDD techniques to enable software architects to easily link between components and the source code elements that realize them. It enables software architects to compare different versions of the generated architectural component view with each other. We evaluate our research results by studying the evolution of architectural abstractions in different consecutive versions of five open source systems and by analyzing the performance of our approach in these cases.