1.软件架构概述
- 从需求分析到软件设计之间的过渡过程称为软件架构。只要软件架构设计好了,整个软件就不会出现坍塌性的错误,即不会崩溃。
- 架构设计就是需求分配,将满足需求的职责分配到组件上。
- 软件架构为软件系统提供了一个结构、行为和属性的高级抽象。
- 软件架构能够在设计变更相对容易的阶段,考虑系统结构的可选方案,便于技术人员与非技术人员就软件设计进行交互,能够展现软件的结构、属性与内部交互(行为))关系。
- 架构设计主要关注软件组件的结构、属性和交互作用(行为),并通过多种视图全面描述特定系统的架构。
由构件的描述、构件的相互作用(连接件)、指导构件集成的模式以及这些模式的约束组成。 - 软件架构不仅指定了系统的组织结构和拓扑结构,并且显示了系统需求和构件之间的对应关系,提供了一些设计决策的基本原理。
- 解决好软件的复用、质量和维护问题,是研究软件架构的根本目的。
- 软件架构设计包括提出架构模型,产生架构设计和进行设计评审等活动,是一个迭代的过程。
- 软件架构是项目干系人进行交流的手段,明确了对系统实现的约束条件,决定了开发和维护组织的组织结构,制约着系统的质量属性。
- 软件架构使推理和控制的更改更加简单,有助于循序渐进的原型设计,可以作为培训的基础。
- 软件架构是可传递和可复用的模型,通过研究软件架构可能预测软件的质量。.
- 软件体系结构风格是描述某一特定应用领域中系统组织方式的惯用模式。
- 架构风格定义一个系统家族,即一个架构定义一个词汇表和一组约束。词汇表中包含一些构件和连接件类型,而这组约束指出系统是如何将这些构件和连接件组合起来的。
- 架构风格反映了领域中众多系统所共有的结构和语义特性,并指导如何将各个模块和子系统有效地组织成一个完整的系统。
- 对软件架构风格的研究和实践促进对设计的重用,一些经过实践证实的解决方案也可以可靠地用于解决新的问题。
- 架构设计的一个核心问题是能否达到架构级的软件复用。
- 架构风格定义了用于描述系统的术语表和一组指导构建系统的规则。
2.构件基本概述
- 构件是一个独立可交付的功能单元,外界通过接口访问其提供的服务。
- 构件由一组通常需要同时部署的原子构件组成。一个原子构件是一个模块和一组资源。原子构件是部署、版本控制和替换的基本单位。原子构件通常成组的部署,但是它也能够被单独部署。
- 构件和原子构件之间的区别在于,大多数原子构件永远都不会被单独部署,尽管它们可以被单独部署。相反,大多数原子构件都属于一个构件家族,一次部署往往涉及整个家族。
- 一个模块是不带单独资源的原子构件。
- 一个单独的包被编译成多个单独的类文件―—每个公共类都有一个。
- 模块是一组类和可能的非面向对象的结构体,比如过程或者函数。
3.构件与对象
3.1.构件的特性
- 独立部署单元
- 作为第三方的组装单元
- 没有(外部的)可见状态
3.2.对象的特性
- 一个实例单元,具有唯一的标志
- 可能具有状态,此状态外部可见
- 封装了自己的状态和行为
3.3.构件接口
接口标准化是对接口中消息的格式、模式和协议的标准化。
它不是要将接口格式化为参数化操作的集合,而是关注输入输出的消息的标准化,它强调当机器在网络中互连时,标准的消息模式、格式、协议的重要性。
3.4.面向构件的编程(COP)
关注于如何支持建立面向构件的解决方案。“面向构件的编程需要下列基本的支持:
- 多态性(可替代性)
- 模块封装性(高层次信息的隐藏)
- 后期的绑定和装载(部署独立性)
- 安全性(类型和模块安全性)
4.软件架构建模
-
结构模型
以架构的构件、连接件和其他概念来刻画结构,并试图以结构模型来反应整个系统的配置、内在逻辑等。 -
框架模型
不太侧重描述结构的细节而更侧重于整体的结构;主要是针对具体的问题为目标,来设计适应这个问题的模型。 -
动态模型
系统的大颗粒的行为性质,对结构模型和框架模型的补充,描述系统的演化。 -
过程模型
构建系统的步骤和过程。 -
功能模型
由一组功能构件按层次组成,下层向上层提供服务。
5.四+1视图
6.基本架构风格
6.1.数据流风格
面向数据流,按照一定的顺序从前向后执行程序,代表的风格有批处理序列、管道-过滤器。
- 批处理序列
构件为一系列固定顺序的计算单元,构件之间只通过数据传递交互。每个处理步骤是一个独立的程序,每一步必须在其前一步结束后才能开始,数据必须是完整的,以整体的方式传递。 - 管道-过滤器
每个构件都有一组输入和输出,构件读取输入的数据流,经过内部处理,产生输出数据流。前一个构件的输出作为后一个构件的输入,前后数据流关联。过滤器就是构件,连接件就是管道。
早期编译器就是采用的这种架构,要一步一步处理的,均可考虑此架构风格。
二者区别
批处理前后构件不一定有关联,并且是作为整体传递,即必须前一个执行完才能执行下一个。
管道-过滤器是前一个输出作为后一个输入,前面执行到部分可以开始下一个的执行。
6.2.调用/返回风格
构件之间存在互相调用的关系,一般是显式的调用,代表的风格有主程序/子程序、面向对象、层次结构。
- 主程序/子程序
单线程控制,把问题划分为若干个处理步骤,构件即为主程序和子程序,子程序通常可合成为模块。过程调用作为交互机制,充当连接件的角色。调用关系具有层次性,其语义逻辑表现为主程序的正确性取决于它调用的子程序的正确性。 - 面向对象
构件是对象,对象是抽象数据类型的实例。在抽象数据类型中,数据的表示和它们的相应操作被封装起来,对象的行为体现在其接受和请求的动作。连接件即使对象间交互的方式,对象是通过函数和过程的调用来交互的。 - 层次结构
构件组成一个层次结构,连接件通过决定层间如何交互的协议来定义。每层为上一层提供服务,使用下一层的服务,只能见到与自己邻接的层。通过层次结构,可以将大的问题分解为若干个渐进的小问题逐步解决,可以隐藏问题的复杂度。修改某一层,最多影响其相邻的两层(通常只能影响上层)。
层次结构优点:
1、支持基于可增加抽象层的设计,允许将一个复杂问题分解成一个增量步骤序列的实现。
2、不同的层次处于不同的抽象级别,越靠近底层,抽象级别越高;越靠近顶层,抽象级别越低。
3、由于每一层最多只影响两层,同时只要给相邻层提供相同的接口,允许每层用不同的方法实现,同样为软件复用提供了强大的支持。
层次结构缺点:
1、并不是每个系统都可以很容易的划分为分层的模式。
2、很难找到一个合适的、正确的层次抽象方法。
6.3.独立构件风格
构件之间是互相独立的,不存在显式的调用关系,而是通过某个事件触发、异步的方式来执行,代表的风格有进程通信、事件驱动系统(隐式调用)。
- 进程通信
构件是独立的进程,连接件是消息传递。构件通常是命名过程,消息传递的方式可以是点对点、异步或同步方式,以及远程过程(方法)调用等。 - 事件驱动系统(隐式调用)
构件不直接调用一个过程,而是触发或广播一个或多个事件。构件中的过程在一个或多个事件中注册,当某个事件被触发时,系统自动调用在这个事件中注册的所有过程。一个事件的触发就导致了另一个模块中的过程调用。这种风格中的构件是匿名的过程,它们之间交互的连接件往往是以过程之间的隐式调用来实现的。
主要优点是为软件复用提供了强大的支持,为构件的维护和演化带来了方便;
缺点是构件放弃了对系统计算的控制。
6.4.虚拟机风格
自定义了一套规则供使用者使用,使用者基于这个规则来开发构件,能够跨平台适配,代表的风格有解释器、基于规则的系统。
- 解释器
通常包括一个完成解释工作的解释引擎、一个包含将被解释的代码的存储区、一个记录解释引擎当前工作状态的数据结构,以及一个记录源代码被解释执行的进度的数据结构。具有解释器风格的软件中含有一个虚拟机,可以仿真硬件的执行过程和一些关键应用,缺点是执行效率低。
基于规则的系统:包括规则集、规则解释器、规则/数据选择器和工作内存,一般用在人工智能领域和DSS中。
6.5.仓库风格
以数据位中心,所有的操作都是围绕建立的数据中心进行的,代表的风格有数据库系统、超文本系统、黑板系统。
- 数据库系统
构件主要有两大类,一类是中央共享数据源,保存当前系统的数据状态,另一类是多个独立处理单元,处理单元对数据元素进行操作。 - 黑板系统
包括知识源、黑板和控制三部分。知识源包括若干独立计算的不同单元,提供解决问题的知识。知识源响应黑板的变化,也只修改黑板;黑板是一个全局数据库,包含问题域解空间的全部状态,是知识源相互作用的唯一媒介;知识源响应式通过黑板状态的变化来控制的。黑板系统通常应用在对于解决问题没有确定性算法的软件中(信号处理、问题规划和编译器优化等)。 - 超文本系统
构件以网状链接方式相互连接,用户可以在构件之间进行按照人类的联想思维方式任意跳转到相关构件。是一种非线性的网状信息组织方法,它以节点为基本单位,链作为节点之间的联想式关联。通常应用在互联网领域。
现代编译器的集成开发环境一般采用数据仓储(即以数据为中心的架构风格)架构风格进行开发,其中心数据就是程序的语法树。
6.6.闭环控制(过程控制)
当软件被用来操作一个物理系统时,软件与硬件之间可以粗略的表示为一个反馈循环,这个反馈循环通过接受一定的输入,确定一系列的输出,最终使环境达到一个新的状态,适合于嵌入式系统,涉及连续的动作与状态。
例如:控制是遥控器,被控是空调,当使用遥控打开空调的时候的时候,遥控器显示一打开,实际空调未打开,这就是开环控制系统,此时控制发出指令后,是不需要被控系统做出响应的。
6.7.C2架构风格
C2体系结构风格可以概括为:通过连接件绑定在一起的按照一组规则运作的并行构件网络。
C2风格中的系统组织规则如下:
- 系统中的构件和连接件都有一个顶部和一个底部;
- 构件的顶部应连接到某连接件的底部,构件的底部则应连接到某连接件的顶部,而构件与构件之间的直接连接是不允许的;
- 一个连接件可以和任意数目的其它构件和连接件连接;
- 当两个连接件进行直接连接时,必须由其中一个的底部到另一个的顶部。
6.8.各种类型架构常考关键字
7.架构描述语言ADL
ADL定义
ADL是一种形式化语言,在底层语义模型的支持下,为软件系统的概念体系结构建模提供了具体语法和概念框架。
基于底层语义的工具为体系结构的表示、分析、演化、细化、设计过程等提供支持。
ADL的基本构成要素
- 构件和构件接口
计算单元或数据存储单元,是计算与状态存储的场所。 - 连接件
用于构件之间交互建模的体系结构构造块及其支配这些交互的规则。 - 架构配置
描述架构的构件与连接件的连接图。
主要的架构描述语言
- Aesop
支持体系结构风格的应用。 - MetaH
为设计者提供了关于实时电子控制软件系统的设计指导。 - C2
支持基于消息传递风格的用户界面系统的描述。 - Rapide
支持体系结构设计的模拟并提供了分析模拟结果的工具。 - SADL
提供了关于体系结构加细的形式化基础。 - Unicon
支持异构的构件和连接类型并提供了关于体系结构的高层编译器。 - Wright
支持体系结构构件之间交互的说明和分析。