插拔式软件连接件的设计与实现

提出了在实现层显式实现连接件的思想,并给出了一种插拔式连接件的实现方法,使连接件这个软件体系结构层概念成为一种插拔式可重用的构造,进而在实现中体现软件体系结构设计,平滑了软件体系结构层和实现层间的差距.     

面向方面的体系结构描述语言AC2-ADL

体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用.通过设计面向方面的软件体系结构描述语言AC2-ADL,使用方面组件明确地描述系统的横切关注点;并引入方面连接件以及抽象出软件体系结构语境中的注入点,呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案.研究结合电子商务领域的网上拍卖系统,讨论了该语言的主要应用过程,具有一定的参考作用.     

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

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

软件体系结构建模研究

提出了软件体系结构工程的概念，建立了软件体系结构的生命周期模型并对软件体系结构进行了分类和建模，介绍了几种典型的软件体系结构语言，提出了一个基于时序逻辑的形式化体系结构语言－ＸＹＺ／ＳＡＥ．该语言可作为系列化时序逻辑语言族ＸＹＺ／Ｅ的子语言，支持对软件体系结构可的构件，连接件和配置的描述，并可在统一的框架下描述软件体系的结构静态行为和动态行为。     

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

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

软件连接件的分类及研究

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

适用于动态软件体系结构的扩展的Z描述语言

动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。     

连接件模型与分类研究

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

软件体系结构及其风格的现状与发展①

软件体系结构是软件工程领域中一个重要的研究课题,是大型软件开发中的关键技术。经过十多年的发展,软件体系结构也超出了传统的对软件设计阶段的支持,逐渐扩展到整个软件生命周期。通过对现有软件体系结构和风格的归纳总结,描述了软件体系结构的主要发展方向及其应用的重要意义。     

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

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

基于连接件的Web服务自愈框架研究

借鉴软件体系结构的研究思想,提出了服务连接件的概念,并以此扩展面向服务的体系结构,设计了一个基于服务连接件的、轻量级的、独立的Web服务自愈框架;分析了Web服务故障监控的因素及其规约的方法,给出了Web服务故障处理三种策略模式,并运用实例表明了方法的可行性。     

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

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

软件连接件复合过程的形式化研究

连接件是软件体系结构描述中的重要概念,是构件间实现交互的媒介。连接件的设计实现及有效复用成为软件开发的一个关键。本文从连接件基本模型入手,讨论了连接件的主要分类,给出了复合连接件的简单模型及描述。基于基本类库及关系图表示法,提出了用矩阵来表示构件间通过复合连接件进行交互的算法,最后讨论了连接件的复用技术。     

软件体系结构的概念

软件体系结构作为软件的整体结构,从整个系统的角度来看,除了包括由构件、连接件和约束构成的软件结构之外,软件体系结构还应包括软件完成的业务、执行业务的组织、组织的位置、运行软件所需的信息和技术基础设施等方面的内容。软件体系结构对软件性能和质量的影响是致命的,它与具体的开发过程紧密相关。文章从系统的角度阐述了软件体系结构的概念,基于此概念,说明了以体系结构为中心的开发过程,并结合软件体系结构与软件过程的关系说明了软件体系结构对软件质量的影响,最后总结了研究软件体系结构的目的。     

Automated resolution of connector architectures using constraint solving (ARCAS method)

In current software systems, connectors play an important role by encapsulating the communication and coordination logic. Since they share common patterns (elements) depending on characteristics of the connections, the elements can be predefined and reused. A method of connector implementation based on a composition of predefined elements naturally comprises two steps: resolution of the connector architecture, and creation of the actual connector code based on the architecture. However, manual resolution of a connector architecture is very difficult due to the number of factors to be considered. Thus, the challenge is to come up with an automated method, able to address all the important factors. In this paper, we present a method for automated resolution of connector architectures based on constraint solving techniques. We exploit a propositional logic with relational calculus for defining a connector theory, a constraint specification reflecting both the predefined parts and the important resolution factors, and employ a constraint solver to find a suitable connector architecture as a model of the theory. As a proof of the concept, we show how the theory can be captured in the Alloy language and resolved via the Alloy Analyzer.