用设计模式表示面向对象软件体系的结构

针对当前软件体系结构描述语言和工具普遍存在的通用性较差，对软件系统运行时的动态特性描述能力不足的缺陷，提出使用设计模式来表示软件系统的体系结构，并提出了体系结构模式和风格概念，通过实际例子验证了设计模式表示体系结构的可行性。讨论了使用设计模式表示体系结构的一些原则。     

软件体系结构：概念,风格与描述语言

概述了软件体系结构的基本定义，分类与描述语言；介绍了一种基于时态逻辑语言ＸＹＺ／Ｅ的可视化体系结构描述语言ＸＹＺ／ＡＤＬ，它可同时描述软件体系结构的静态与动态行为；最后提出了进一步的工作。     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

XDL——基于XML的软件体系结构描述元语言

软件体系结构是指导基于体系结构的软件开发过程的系统蓝图,而软件体系结构是由软件体系结构描述语言(ADL)来描述的.提出1种基于XML的软件体系结构描述元语言XDL作为ADL的元语言.通过XDL构造出的ADL具备大多数基于XML的ADL描述高层软件体系结构的能力,支持系统的扩展与演化,支持系统的验证,保证与其他ADL的互操作性,在软件生命周期中保证体系结构模型的可追溯性.     

一种自动的软件体系结构规约重写方法及工具支持

在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.     

XYZ/ADL到UML的一种映射方法

分析了软件体系结构描述语言XYZ／ADL的体系结构设计元素和UML中的建模元素的语义相似性，并对UML的建模元素经过一定的扩展和约束，实现了从XYZ／ADL到UML的映射．     

UML与ADL在软件体系结构建模中的应用研究

通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径.着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精.     

基于XYZ/ADL描述的选修课管理系统体系结构

XYZ／ADL是一种基于时序逻辑语言XYZ／E的可视化体系结构描述语言。文章使用XYZ／ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述，并对服务器组件中选课这一事件进行了详细描述。     

一种基于构件的软件体系结构求精方法及其应用

软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。     

软件体系结构的特点与研究进展

软件体系结构是软件工程的一个重要研究领域，它提供了软件系统的高层抽象。文章阐述了软件体系结构的产生背景和基本概念，以及体系结构描述语言（ADL）、求精方法和特定领域体系结构（DSSA）等主要研究内容；分析了软件体系结构与传统开发方法、O－O方法、设计模式、软件复用、净室技术以及统一建模语言（UML）等其它软件工程技术方法的联系和区别。     

软件体系结构的特点与研究进展

软件体系结构是软件工程的一个重要研究领域,它提供了软件系统的高层抽象.文章阐述了软件体系结构的产生背景和基本概念,以及体系结构描述语言(ADL)、求精方法和特定领域体系结构(DSSA)等主要研究内容;分析了软件体系结构与传统开发方法、O-O方法、设计模式、软件复用、净室技术以及统一建模语言(UML)等其它软件工程技术方法的联系和区别.     

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

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

浅谈软件体系结构风格

软件体系结构已经成为软件工程领域的一个新的研究方向,本文介绍了管道过滤器风格、异构体系结构风格、公共对象请求代理体系结构和正交软件体系结构等几种典型的软件体系结构风格。     

软件体系结构动态特征建模与验证

针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础.     

软件体系结构动态演化的Z描述语言扩展方法

针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.     

基于评价矩阵的软件体系结构风格选取

设计软件体系结构时，选抒一个合适的体系结构风格是首要的．在常用软件体系结构风格质量属性评价的基础上，提出了一种基于软件需求和软件体系结构风格评价矩阵选取风格的方法，并以C语言编辑器体系结构风格的选取为实例实践了这种方法．     

信息系统的结构综述

从建造信息系统首先面临的体系结构选择问题出发，对目前信息系统所采用的几种主流结构进行了介绍，并对每种结构相关的技术进行了分析，同时给出了具体的实现方案．     

体系结构描述语言——WRIGHT

软件体系结构设计已成为软件工程的一部分,为体系结构开发提供工具和环境也就更加重要。本文介绍一个支持体系结构规范说明的语言ＷＲＩＧＨＴ,它注重连接器的定义（即协议）,提供了形式化推理和体系结构一致性检查的工具。实现了体系结构设计的要求。     

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

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

基于软件体系结构的应用原型开发

软件体系结构的正确设计和选择是软件系统最终成功的最关键因素．介绍了基于体系结构应用开发．描述了在实际项目中基于体系结构的开发过程：需求分析、系统的高层设计框架，业务构件的设计及在java平台上的实现．它体现了软件开发过程中复用高层设计和复用构件的思想．