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

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

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

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

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

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

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

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

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

基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities),是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加,连接件变得愈加复杂和多样。因此,需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式,即连接件运算符,组合运用连接件运算符合成复杂的连接件。并基于Wright连接件的形式化规约,给出了谊复合连接件形式化规约的生成算法。     

软件连接件的分类及研究

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

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

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

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

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

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

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

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

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

复合连接件技术的研究与应用

连接件的设计实现以及连接件的有效复用是软件系统开发的关键。本文从连接件基本模型入手，讨论了复合连接件的简单模型及描述，基于基本类库以及关系图表示法，提出了用矩阵来表示构件间通过复合连接件进行交互的算法，并在电力系统中进行了应用，最后讨论了连接件的复用技术。     

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

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

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

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

Models and temporal logical specifications for timed component connectors

Component-based software engineering advocates construction of software systems through composition of coordinated autonomous components. Significant benefits of this approach include software reuse, simpler and faster construction, enhanced reliability, and dramatic reductions in the complexity of construction of provably correct critical systems, many of which involve real-time concerns. Effective, flexible component composition by itself still poses a challenge today and yet the special nature of real-time constraints makes component-based construction of real-time systems even more demanding. The coordination language Reo supports compositional system construction through connectors that exogenously coordinate the interactions among the constituent components which unawarely comprise a complex system, into a coherent collaboration. The simple, yet surprisingly rich, calculus of channel composition that underlies Reo offers a flexible framework for compositional construction of coordinating component connectors with real-time properties. In this paper, we present an operational semantics for the channel-based component connectors of Reo in terms of Timed Constraint Automata and introduce a temporal-logic for specification and verification of their real-time properties.      

Synthesis of Reo circuits from scenario-based interaction specifications

It is difficult to construct correct models for distributed large-scale service-oriented applications. Typically, the behavior of such an application emerges from the interaction and collaboration of multiple components/services. On the other hand, each component, in general, takes part in multiple scenarios. Consequently, not only components, but also their interaction protocols are important in the development process for distributed systems. Coordination models and languages, like Reo, offer powerful “glue-code” to encode interaction protocols. In this paper we propose a novel synthesis technique, which can be used to generate Reo circuits directly from scenario specifications. Inspired by the way UML2.0 sequence diagrams can be algebraically composed, we define an algebraic framework for merging connectors generated from partial specifications by exploiting the algebraic structure of UML sequence diagrams.     

Connector Colouring I: Synchronisation and Context Dependency

Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and context-dependent behaviour. This paper proposes a scheme based on connector colouring for determining the behaviour of a Reo connector by resolving its synchronisation and exclusion constraints. Colouring a Reo connector in a specific state with given boundary conditions (I/O requests) provides a means to determine the routing alternatives for data flow. Our scheme has the advantage over previous models in that it is simpler to implement and that it models Reo connectors more closely to their envisaged semantics than existing formal models.     

基于消息传递的构件组装模型

利用构件组装分布式系统是软件开发的流行趋势,但由于构件之间规范不一致,相互联系和相互依赖,降低了构件的复用程度,限制了生成目标系统的灵活性.消息传递是应用程序和软件构件之间进行通信的一种方式,基于消息传递的构件组装模型采用了XML技术,通过连接子和消息总线进行消息传递,实现构件之间的交互,使构件在组装时对外呈现出一致的视图.     

Architectural-level risk analysis using UML

Risk assessment is an essential part in managing software development. Performing risk assessment during the early development phases enhances resource allocation decisions. In order to improve the software development process and the quality of software products, we need to be able to build risk analysis models based on data that can be collected early in the development process. These models will help identify the high-risk components and connectors of the product architecture, so that remedial actions may be taken in order to control and optimize the development process and improve the quality of the product. In this paper, we present a risk assessment methodology which can be used in the early phases of the software life cycle. We use the Unified Modeling Language (UML) and commercial modeling environment Rational Rose Real Time (RoseRT) to obtain UML model statistics. First, for each component and connector in software architecture, a dynamic heuristic risk factor is obtained and severity is assessed based on hazard analysis. Then, a Markov model is constructed to obtain scenarios risk factors. The risk factors of use cases and the overall system risk factor are estimated using the scenarios risk factors. Within our methodology, we also identify critical components and connectors that would require careful analysis, design, implementation, and more testing effort. The risk assessment methodology is applied on a pacemaker case study.