基于CORBA构件的软件体系结构实现模型

软件体系结构是一种新型的基于构件以及构件库的深层的软件复用，它的提出使超大规模软件设计的简化成为了可能，这里提出了基于CORBA年的软件体系结构模型，通过给出ADL的BNF语法以扩充CIDL编译器和CORBA的服务，描述了其实现模型。     

基于CORBA构件的软件体系结构实现模型

软件体系结构是一种新型的基于构件以及构件库的深层的软件复用,它的提出使超大规模软件设计的简化成为了可能.这里提出了基于CORBA构件的软件体系结构模型,通过给出ADL的BNF语法以扩充CIDL编译器和CORBA的服务,描述了其实现模型.     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

软件体系结构风格的实例研究

软件体系结构研究领域中，风格的研究与应用是一个重要的领域。本文讨论了软件体系结构的概念和风格，在此基础上特别对CORBA，基于Web的分布式系统结构，领域专家系统，基于商业背景的可重用软件体系结构等内容进行了讨论，并给出了它们相关风格。     

一种图形化的CORBA体系结构描述方法

随着软件技术的发展，对于软件体系结构的研究越来越引起人们的重视。本文对CORBA分布式软件体系结构的描述需求和组件之间的依赖关系进行了较详细的分析，在此基础上提出了一种基于图形的软件体系结构描述方法，该方法把基于CORBA的分布式应用的软件体系结构视为一张逻辑图，在图上预定义一组操作，有助于CORBA应用的程序设计和维护。本文还在CORBA之上实现了一个原型，概括地介绍了具体的实现途径。     

CORBA构件模型研究与实现

对几种构件模型进行了比较分析，研究了CORBA构件模型体系结构，提出了CCM构件平台实现技术及方法，并给出了采用国防科大计算机学院研制的CCM构件平台进行程序开发的步骤，体现出CORBA构件模型可以简化CORBA服务器方的应用开发过程，并能够提高CORBA的易用性。     

运用CORBA的组件开发方法

该文结合CORBA的特点,从软件体系结构的角度,提出了运用CORBA开发组件的方法和过程,能够有效地进行组件的开发.     

电力系统软件体系结构和框架设计

主要研究应用面向对象设计技术最新进展－－软件体系结构和部件化与框架设计理论,提高电力系统软件包的软件质量。全面分析了现有电 力系统软件体系结构优缺点,提出了一种新的管道－转接器－过滤器软件体系结构。同时还以潮流计算代理部件开发为例,给出了应用类似CORBA框架结构将原有的软件封装成为可复用的计算部件的方法。     

正交软件体系结构模型

当前对软件体系结构的描述通常都采用体系结构描述语言(ADb)，但ADb在对软件体系结构的动态、可进化和可扩充特征方面的描述能力明显不足。正交软件体系结构具有结构清晰、可维护性强、可移植性强、重用粒度大等优点。文章用代数理论对正交软件体系结构的属性和行为特征进行抽象，提出了正交软件体系结构的概念和框架结构，抽象出了正交软件体系结构的核心模型。提出了正交软件体系结构的抽象模型和非正交软件体系结构的正交化算法。给出了正交软件体系结构的一个应用实例。     

基于CORBA的角色访问控制实现研究

在分析CORBA访问控制模型基础上，将RBAC略引入其中．通过设计新的管理对象接口提出一个基于CORBA的角色访问控制模型。结合该模型给出了CORBA安全访问控制中的阶段式授权流程，这对构建基于中间件的分布式应用系统有指导意义!     

集群政务协同业务平台架构及关键技术研究

集群政务协同平台包括六大系统。论述了该平台的应用架构和技术架构,阐述了其主要关键技术:多个政务应用的规模集成和协同应用、业务模型驱动的SOA架构通用开发平台、统一资源管理、Web服务安全增强。运行实践表明,平台能够最大限度地整合利用省(市)级政务平台的软硬件资源和政务业务资源,使农村区县基于省(市)级平台构建各自的政务平台,从而实现全省(市)政务平台的城乡统筹建设和维护,提高政务管理和协同办公的效率。     

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

Maintaining integrity and consistency, and effecting conformance in architectures of large-scale systems require specification and enforcement of many different forms of structural constraints. While type systems have proved effective for enforcing structural constraints in programs and data structures, most architectural modeling frameworks include only weak notions of typing or rely on first order logic constraint languages that have steep learning curves associated with them and that become unwieldy when scaling to large systems.We present the Cadena Architecture Language with Meta-modeling (CALM) — that uses multi-level type systems to specify and enforce a variety of architectural constraints relevant to the development of large-scale component-based systems. Cadena is a robust and extensible tool that has been used to specify a number of industrial strength component models and applied in multiple industrial research projects on model-driven development and software product lines.     

Massively parallel software rendering for visualizing large-scaledata sets

We describe two highly scalable, parallel software volume-rendering algorithms - one renders unstructured grid volume data and the other renders isosurfaces. We designed one algorithm for distributed-memory parallel architectures to render unstructured grid volume data. We designed the other for shared-memory parallel architectures to directly render isosurfaces. Through the discussion of these two algorithms, we address the most relevant issues when using massively parallel computers to render large-scale volumetric data. The focus of our discussion is direct rendering of volumetric data     

Component-based development of DSP software for mobile communication terminals

DSP software development has been tied down by extreme computational requirements. Furthermore, the DSP development tools available today are less advanced than in other embedded software design. This has lead to DSP software architectures that have not taken into account future expansion needs. Therefore, DSP software architectures have been inherently closed. Now, as system complexity increases, this design methodology becomes more of a burden, since it does not support component-based DSP software development that requires open interfaces.

In this paper, mobile-communications DSP software architectures are studied as cases, and key areas for improvements towards more open DSP software development are identified. Proposed solutions are judged against the limited resources of mobile communication terminals and the characteristics of communication DSPs.     

Comparison of specification decomposition methods in Event-B

Decomposition is an important phase in the design of medium and large-scale systems. Various architectures of software systems and decomposition methods are studied in numerous publications. Presently, formal specifications of software systems are mainly used for experimental purposes; for this reason, their size and complexity are relatively low. As a result, in the development of a nontrivial specification, different approaches to the decomposition should be compared and the most suitable approach should be chosen. In this paper, the experience gained in the deductive verification of the formal specification of the mandatory entity-role model of access and information flows control in Linux (MROSL DP-model) using the formal Event-B method and stepwise refinement technique is analyzed. Two approaches to the refinementbased decomposition of specifications are compared and the sources and features of the complexity of the architecture of the model are investigated.     

Architecture and dependability of large-scale internet services

The popularity of large-scale Internet infrastructure services such as AOL, Google, and Hotmail has grown enormously. The scalability and availability requirements of these services have led to system architectures that diverge significantly from those of traditional systems like desktops, enterprise servers, or databases. Given the need for thousands of nodes, cost necessitates the use of inexpensive personal computers wherever possible, and efficiency often requires customized service software. Likewise, addressing the goal of zero downtime requires human operator involvement and pervasive redundancy within clusters and between globally distributed data centers. Despite these services' success, their architectures-hardware, software, and operational-have developed in an ad hoc manner that few have surveyed or analyzed. Moreover, the public knows little about why these services fail or about the operational practices used in an attempt to keep them running 24/7. As a first step toward formalizing the principles for building highly available and maintainable large-scale Internet services, we are surveying existing services' architectures and dependability. This article describes our observations to date.     

企业云服务体系结构的参考模型与开发方法

服务与云计算范型的融合有助于大规模分布式软件的开发和应用,同时也为面向服务的软件工程带来了新的挑战。云计算的最大挑战是缺少事实上的标准或单一的体系结构方法,以满足企业将关键产品作为Internet上的云服务发布的应用需求。首先,针对企业云计算的业务特点,提出了一种企业云服务体系结构(Enterprise Cloud Service Architecture,ECSA)风格的通用和抽象参考模型,分析了该模型中的云服务、服务模式、服务消费者、管理、流程、质量属性、服务构件模型、服务匹配和交互模式匹配9个组件及其之间的关系,并讨论了它们中的角色。然后,提出了一个四阶段的ECSA迭代改进过程,该过程把云服务视为首要的类建模元素,通过解除云服务模型和来自目标构件配置之间的耦合,可实现相同云服务集的多种不同体系结构。最后,给出了一种基于该模型的期货程序化交易的私有云服务应用实例,用以展示该方法的可行性和有效性。     

Software performance tuning of software product family architectures: Two case studies in the real-time embedded systems domain

Software performance is an important non-functional quality attribute and software performance evaluation is an essential activity in the software development process. Especially in embedded real-time systems, software design and evaluation are driven by the needs to optimize the limited resources, to respect time deadlines and, at the same time, to produce the best experience for end-users. Software product family architectures add additional requirements to the evaluation process. In this case, the evaluation includes the analysis of the optimizations and tradeoffs for the whole products in the family. Performance evaluation of software product family architectures requires knowledge and a clear understanding of different domains: software architecture assessments, software performance and software product family architecture. We have used a scenario-driven approach to evaluate performance and dynamic memory management efficiency in one Nokia software product family architecture. In this paper we present two case studies. Furthermore, we discuss the implications and tradeoffs of software performance against evolvability and maintenability in software product family architectures.     

几种新型软件体系结构风格的分析

软件体系结构的提出对软件重用机制和软件开发效率的提高具有非常重要的意义。软件体系结构的使用是提高软件开发质量、减少软件开销和促进软件生产率提高的最有效方法之一。采用定性分析、比较研究等多种方法,实现了几种新型软件体系结构风格的剖析。给出了软件体系结构及软件体系结构风格的定义,阐述了几种新型软件体系结构风格中关键要素的定义及特性及其风格的主要内容,分析了几种新型软件体系结构风格的特点。