Process View of Reflection Mechanism for Reuse Software Architecture

Reflection mechanism for reuse software architecture （RMRSA） divides a software architecture into base-level architecture and meta-level architecture logically. Base-level architecture is the ordinary architecture; meta-level represents and manipulates the reusable meta-information of base-level architecture explicitly. Through reflection, the modification of meta-level architecture will result in the modification of the architecture in base-level. Then we can gain a new base-level architecture design. In this paper, we use π-calculus to define the constituents and their interaction processes of RMRSA, by these definition, we specify the business function in base-level at runtime, and illustrate the reflection mechanism between the base-level architecture and meta-level architecture.     

基于体系结构的软件分析设计过程模型

引入软件体系结构技术，将软件分析设计过程细分为需求分析、体系结构设计、系统设计3个阶段，并提出了基于体系结构的软件分析设计过程(SADPBA)模型，该模型是一种采用迭代增量方法将功能设计空间映射到结构设计空间，再由结构设计空间映射到系统设计空间的过程．应用函数理论对模型进行了严格的数学定义和形式化描述，确保设计结果满足完备性、一致性和正确可追踪要求．在扩展设计空间建立了需求规范与体系结构、系统设计间的可追踪机制，并建立了基于体系结构的软件分析设计开发环境模型．与传统软件分析设计过程相比，SADPBA模型有严格的理论基础和工程原则，解决了软件系统从需求到实现的平缓过渡问题，提高了软件分析设计的质量和效率．     

Describing Service-Oriented Architecture by Extended Darwin

Describing Service-Oriented Architecture （SOA） is critical in the development of Web based system, in this paper, an approach for describing SOA by extended Darwin is proposed. The requirements for describing SOA, which are different from that of ordinary architecture, are highlighted firstly, and then a solution for extending Darwin is presented. Using the extended Darwin, service components and connectors can be described explicit by the extended construct, as well as precise operational semantics of SOA by the π-calculus. Finally an example of supply-chain management system is given for manifesting the effect of the extended Darwin.     

通用连接器模型及其形式化推导研究

基于构件的软件体系结构（SA）由构件与连接器组成，连接器作为构件间的交巨实体在SA中扮演着重要角色．现有的连接器模型只能支持特定软件体系结构风格的组装，缺乏统一的连接器模型的支持．提出一种通用连接器模型用以对不同连接器模型进行描述，并在此基础上对连接器模型进行了扩展，以支持不同体系结构风格的构件组装．同时，基于Wright的软件体系结构描述语言（ADL）和通信顺序进程（CSP）中对于进程的描述方法，给出了通用连接器模型的形式化推导、验证，从而为分析连接器行为，支持连接器自动生成奠定了基础．     

可复用构件的制作和组装

软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势 ,可复用构件的制作和集成组装是其中涉及的两个重要活动 .本文提出软件复用的条件、环境和注意问题 ,以及支持接口连接式和插头插座式体系结构的构件模型和基于体系结构的构件集成组装框架 ,并讨论给出构件的制作和组装过程     

用例驱动的软件体系结构构建

软件体系结构是有效实现大粒度软件复用的重要方法，但如何具体实现软件体系结构一直没有得到有效的解决．文中在分析用例和软件体系结构之间关系的基础上，提出一种用例驱动、迭代增量方式，构建软件体系结构的方法及其模型．同时，分析增量迭代的过程和相关问题．     

基于构件的软件生产过程模型

在对基于构件的软件工程（CBSE）研究的基础上，建立了一种基于构件的软件生产过程模型。指出了基于构件的软件生产过程与传统的瀑布模型之间的联系与区别，以及各个阶段的关键活动及其产品。此外，对软件工厂的组织结构、车间划分、构件的标准化生产和管理等问题提出了一些可供参考的看法。近期的3个应用软件项目的开发实践表明，采用基于构件的软件生产过程模型，平均开发时间可缩短31％，成本降低28％。     

面向复用的软构件信息系统的设计与实现

基于软件体系结构,从需求分析出发,讨论适合此系统的体系结构设计决策,分析系统设计的实现过程,设计并实现一个面向复用的软构件信息系统.该系统能使管理人员有效地组织和管理各类软构件实体和相关角色信息等,开发者可以在此高效检索到需要的软构件,构件生产厂商可以方便提交自己生产的构件,有效管理软构件以提高软件开发效率.     

基于Adapter的软件总线体系结构

提出基于适配器Adapter的软件总线体系结构,引进适配器作为可复用构件和软件总线的中介,负责管理和存储与系统相关的构件的组装信息,在消息交换和数据共享中负责消息派送和数据格式转换的工作．适配器还参与可复用构件的组合,扩充和屏蔽可复用构件的现有功能．     

软件体系结构一致性仿真测试

对软件体系结构的一致性进行讨论,给出软件体系结构一致性定义和软件体系结构一致性仿真测试方法,并通过三层Client/Server结构中组件事务特征一致性测试说明上述方法应用,实践表明该方法可以检测软件体现结构与其约束的不一致性,并具有线性时间·     

一种具有松耦合特性的CBSD体系结构研究

提出一个 3层的 CBSD体系结构 ,使软件组件与其客户的耦合成为松耦合 ,从而解决软件功能的可定制问题和组件客户可复用问题。     

领域MIS应用软件“工厂”化开发过程研究

在领域工程、基于构件的软件工程的基础上 ,提出了“以领域 MIS可重用资产为基础、以建造 MIS应用系统的软件体系结构为中心、以选择软件构件组装成系统为目标”的 MIS系统构件化开发过程模型 .该软件过程模型为MIS应用系统“工厂”化生产提供了可行的开发模式     

Towards a Component Framework for Architecture-Based Self-Adaptive Applications

0 IntroductionEnabling software to be self-adaptive is generally regardedas a feasible approach to answering the challenges posedby highly variable executionenvironment .Accordingtothe bas-ic principle of software engineering:separation of concerns[1],most of the current researches onself-adaptive software concen-trate onthe separation betweenadaptationlogic andthe businesscounterpart , makingthemorthogonal to each other .Software architecture defines systemsinterms of compu-tational component…     

面向可靠性评估的软件架构描述语言图形化研究

为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提.在研究了面向可靠性评估架构描述语言RE/ADL的基础上,提出该架构描述语言图形化的表示方法,分别从总体的、精练的、层次的不同视角总结了架构的建模元素(组件、连接件、配置及复合组件,连接件)与可靠性评估相关属性的图形表示,便于架构的验证和分析.     

卫生监督领域正交软件体系结构的设计

软件体系结构是大型软件系统开发的一项关键技术。正交软件体系结构结合了传统横向设计的抽象层与面向方面纵向设计的线索,依据特征模型把系统架构设计成包含正交的组织层和线索的构件。讨论了设计正交化功能特征模型及正交软件体系结构的关键技术,并应用于一个研究案例。     

基于UML的软件构件进化模型

在统一建模语言UML(Unified Modeling Language)的基础上提出应该从平面关系和进化关系两个方面来支持面向对象软件的开发。平面关系强调以各种视图显示软件构件(包括分析设计模型元素和代码模块)的体系结构;进化关系是指软件构件被引入系统、发展、实现、再扩充直至灭亡过程中的变换关系。提出并详细介绍了基于UML支持环境中的进化模型。进化模型系统描述了进化关系,并支持UML各模型之间的转换和各开发阶段的平滑过渡。     

对称式面向方面软件体系结构动态演化研究

提出了一种对称式的面向方面体系结构模型（SAOSA）,该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.     

Empirical measurement of the software testing and reliability

The meanings of parameters of software reliability models are investigated in terms of the process of the software testing and in terms of other measurements of software. Based on the investigation, the empirical estimation of the parameters is addressed. On one hand, these empirical estimates are also measurements of the software, which can beused to control and to optimize the process of the software development. On the other hand, by treating these empirical estimates as Bayes priors, software reliability models are ex-tended such that the engineers‘ experience can be integrated into and hence to improve the models.     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.