基于Agent的软件体系结构研究

软件体系结构的使用是提高软件质量、减少软件开销和促进软件生产率提高的最有效方法之一,面向Agent技术的提出为复杂分布式问题的求解找到了办法.分析了软件体系结构和软件Agent技术的主要内容,提出基于Agent的软件体系结构,阐明了基于Agent的软件体系结构的总体结构及其在大型软件开发中的应用.     

Agent系统软件体系结构形式化建模方法

基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划,因此Agent系统能从良好的体系结构设计中受益。该文整合了图表句法理论和层次谓词变迁网理论,提出一种形式化建模方法,从抽象层(架构)和实现层(动态行为)两方面来构建Agent系统的软件体系结构。模型具有可验证和追踪性,为Agent系统软件体系结构分析与评估提供了良好的基础。     

软件体系结构在信息系统建设中的应用初探

本文简要阐述了软件体系结构的技术特点,分析了采用新技术开发系统不成功的原因与目前组件产品的市场现状,研究了新技术与信息系统开发的关系,在此基础上提出开发企业信息系统应采取的对策。     

钦件体系结构在信息系统建设中的应用初探

本文简要阐述了软件体系结构的技术特点,分析了采用新技术开发系统不成功的原因与目前组件产品的市场现状,研究了新技术与信息系统开发的关系,在此基础上提出开发企业信息系统应采取的对策.     

异构软件体系结构在军事领域的应用

信息化条件下,军事信息系统应满足互连、互通、互操作要求,实现横向集成和聚集。通过对比层次式软件体系结构和正交式软件体系结构,并将这两种异构的软件体系结构融合应用于军事信息系统的软件体系结构设计领域,提出了联合作战模拟系统的体系结构框架。这种异构软件体系结构的组合使得系统结构清晰,具有可扩展性,易于理解,同时提高了软件复用的粒度和开发效率,为军用软件体系结构设计提供了一种参考思路。     

一种基于CCM业务构件的可重构企业信息系统结构

针对制造企业信息系统的软件体系结构和功能应用软件的可重用问题进行研究.基于软件体系结构描述语言ADL的BNF语法和OMG/CCM的构件技术,详细设计了企业信息系统的可重构软件体系结构模型、系统的可重用业务构件和系统的即插即用框架.通过扩充CCM构件的消息和通知服务,描述了企业信息系统软件体系结构和功能应用软件的重用.     

基于DNA和COM+的物流信息系统应用研究

根椐物流信息系统大型化、复杂化和分布式的特点，以选择良好的软件体系结构和先进的实现技术作为主要解决途径，结合目前流行的Windows DNA体系结构和COM 技术，探讨了一个物流信息系统的主要解决方案。     

以体系结构为指导的基于构件的软件开发方法研究

分析了软件体系结构和软件构件技术，研究了基于分布式的Web应用的主要结构形式。以体系结构为指导的基于构件的软件开发方法将软件体系结构的思想贯穿到基于构件开发的各个阶段，正确指导开发过程的进行。     

基于多Agent系统的动态软件体系结构

科学合理的软件体系结构是开发一个成功应用系统的必要条件,对于提高系统的开发效率和质量具有非常重要的意义。随着网络技术的日趋完善,基于Internet的分布式协作系统成为应用软件发展的主流。基于Agent技术的提出为复杂分布式问题的求解找到了办法。本文综述了多Agent技术的主要概念、特性、作用,提出了遵循HPA规范的多Agent系统（MAS）动态体系结构。     

一种新型的信息系统概念模型NR／T—net

本文提出了一种基于高阶Ｐｅｔｒｉ网的新型信息系统概念模型ＮＲ／Ｔ－ｎｅｔ,并讨论了它在具有并发过程和复杂结构对象的分布式信息系统开发过程的支持。     

企业应用软件架构分析

通过对企业业务体系的根本需求进行分析,描述了企业业务及其支持软件的特点.从时间和空间两个维度上对企业软件架构进行了描述,通过分析企业应用软件架构与企业业务改进过程的关系,对架构的开发和部署过程提出了一些建议.     

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.     

Deriving a Fault Architecture to Guide Testing

Defect analysis of software components can be used to guide testing, with the goal of focusing on parts of the software that were fault-prone in earlier releases or earlier life cycle phases, such as development. We replicate a study that adapted a reverse architecting technique using defect reports to derive fault architectures. A fault architecture determines and visualizes components that are fault-prone in their relationships with other components, as well as those that are locally fault-prone. Our case study uses defect data from three releases of a large medical record system to identify relationships among system components, based on whether they are involved in the same defect report.We investigate measures that assess the fault-proneness of components and component relationships. Component relationships are used to derive a fault architecture. The resulting fault architecture indicates what the most fault-prone relationships are in a release. We also apply the technique in a new way. Not only do we derive fault architectures for each release, we derive fault architectures for the development, system test and post release phases within each release. Comparing across releases, makes it possible to see whether some components are repeatedly in fault-prone relationships. Comparing across phases, makes it possible to see whether development fault architectures can be used to identify those parts of the software that need to be tested more. We validate our predictions using system test data from the same release. We also use the development and system test fault architectures to identify fault-prone components after release, and validate our predictions using post release data.     

Evaluation of Architectures for Mobile Robotics

In this paper we make a comparative study of some successful software architectures for mobile robot systems. The objective is to gather experience for the future design of a new robot architecture. Three architectures are studied more closely, Saphira, TeamBots and BERRA. Qualities such as portability, ease of use, software characteristics, programming and run-time efficiency are evaluated. In order to get a true hands-on evaluation, all the architectures are implemented on a common hardware robot platform. A simple reference application is made with each of these systems. All the steps necessary to achieve this are discussed and compared. Run-time data are also gathered. Conclusions regarding the results are made, and a sketch for a new architecture is made based on these results.     

A component‐based framework for radio‐astronomical imaging software systems

This paper describes a component‐based framework for radio‐astronomical imaging software systems. We consider optimal re‐use strategies for packages of disparate architectures brought together within a modern component framework. In this practical case study, the legacy codes include both procedural and object‐oriented architectures. We consider also the special requirements on scientific component middleware, with a specific focus on high‐performance computing. We present an example application in this component architecture and outline future development planned for this project. Copyright © 2007 John Wiley & Sons, Ltd.     

软件体系结构动态演化的条件超图文法及分析

针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.     

基于图文法的动态软件体系结构支撑环境

使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境.     

计算机体系结构的分类模型

根据计算机体系结构的发展,以指令流（instruction stream）计算、数据流（data stream）计算与构令流（configuration stream）计算的概念为基础,提出了一种新的计算机体系结构的分类模型.     

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.