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

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

可视化软件体系结构描述工具XYZ/ADL的设计与实现

在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来.     

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

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

可视化软件体系结构描述工具XYZ／ADL的设计与实现

在时态逻辑语言XYZ／E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ／ADL,它采用组件,连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程度设计方法和基于规范的逐步求精方法有机地结合起来。     

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

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

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

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

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

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

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

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

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

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

基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础.     

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

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

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

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

浅谈软件体系结构风格

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

基于构件的多移动机器人软件系统设计

为了适应多机器人系统中机器人异构性和任务复杂性,本文提出了一个基于构件的多移动机器人软件体系结构。针对不同结构机器人和不同功能需求,集成合适的感知、执行机构、信息融合、通信、决策等构件组成不同的智能体,协作完成一个任务。构件用XML实现自我描述,可热插拔和在线配置。该体系结构具有很强的可复用性和伸缩性,成功应用于华南足球机器人系统,参加Robocup中型组足球比赛。     

基于数据流风格的ATM系统的软件体系结构研究

软件体系结构描述了软件系统的整体组织结构与风格,对软件的性能、质量和软件的重用性都有直接的影响。管道/过滤器模式是一种面向数据流风格的软件体系结构,本文以后方交换型的ATM系统为例说明了基于这种体系结构的软件系统的设计方法,最后还分析了基于管道/过滤器模式软件结构的优缺点,以供软件设计人员借鉴。     

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

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

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

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

面向服务的软件体系结构的研究及探索

Web Service采用了一种面向服务的开放的、松耦合的架构，所有协议基于XML，具有通用性且实现简单，给面向服务软件体系结构带来了新的契机。文章以社区医疗信息系统为例，探讨了基于Web services的面向服务软件体系结构的实现。     

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

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

基于时态逻辑语言XYZ／E的软件体系结构研究（Ⅰ）－－基本组件和连接件的描述

XYZ／E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又表表示程序的动态语义，这一特征恰好分层描述软件体系结构。本文采用XYZ／E语言刻画了软件体系结构的基本组件与连接件；它为进一步描述体系结构风格提供了一个基础。