软件
体系结构是具有一定形式的结构化元素,即构件的集合,包括处理构件、数据构件和连接构件。处理构件负责对数据进行加工,数据构件是被加工的信息,连接构件把体系结构的不同部分组合连接起来。这一定义注重区分处理构件、数据构件和连接构件,这一方法在其他的定义和方法中基本上得到保持。相比较于“
软件架构”,“软件体系结构”一词多用于学术研究领域使用,“软件架构”多用于工程实践领域,二者的外文名都是“software architecture”,在
IEEE中的定义均为:“一个系统的基础组织,包含各个构件、构件互相之间与环境的关系,还有指导其设计和演化的原则。”[IEEE-2000]
定义
虽然软件体系结构已经在
软件工程领域中有着广泛的应用,但迄今为止还没有一个被大家所公认的定义。许多专家学者从不同角度和不同侧面对软件
体系结构进行了刻画,较为典型的定义有:
发展历史
与最初的大型中央主机相适应,最初的软件结构体系也是Mainframe结构,该结构下客户、数据和程序被集中在主机上,通常只有少量的
GUI界面,对远程数据库的访问比较困难。随着PC的广泛应用,该结构逐渐在应用中被淘汰。在80年代中期出现了
Client/Server分布式计算结构,
应用程序的处理在客户(PC机)和服务器(Mainframe或Server)之间分担;请求通常被
关系型数据库处理,PC机在接受到被处理的数据后实现显示和
业务逻辑;
系统支持模块化开发,通常有GUI界面。Client/Server结构因为其灵活性得到了极其广泛的应用。但对于大型软件系统而言,这种结构在系统的部署和扩展性方面还是存在着不足。
Internet的发展给传统应用软件的开发带来了深刻的影响。基于Internet和Web的软件和应用系统无疑需要更为开放和灵活的体系结构。随着越来越多的
商业系统被搬上Internet,一种新的、更具生命力的体系结构被广泛采用,这就是为“三层/多层计算”。
三层体系结构中,客户(请求信息)、程序(处理请求)和数据(被操作)被物理地隔离。
三层结构是个更灵活的体系结构,它把显示逻辑从业务逻辑中分离出来,这就意味着业务代码是独立的,可以不关心怎样显示和在哪里显示。
业务逻辑层处于中间层,不需要关心由哪种类型的客户来
显示数据,也可以与后端系统保持相对独立性,有利于系统扩展。三层结构具有更好的移植性,可以跨不同类型的平台工作,允许用户请求在多个服务器间进行
负载平衡。三层结构中安全性也更易于实现,因为应用程序已经同客户隔离。应用程序服务器是三层/多层体系结构的组成部分,应用程序服务器位于中间层。
如下所示,应用程序服务器运行于浏览器和数据资源之间,一个简单的实例是,顾客从浏览器中输入一个定单,web服务器将该
请求发送给应用程序服务器,由应用程序服务器执行处理逻辑,并且获取或更新后端用户数据。
兴起
六十年代的
软件危机使得人们开始重视软件工程的研究。起初,人们把软件设计的重点放在数据结构和算法的选择上,随着软件系统规模越来越大、越来越复杂,整个
系统的结构和规格说明显得越来越重要。软件危机的程度日益加剧,现有的
软件工程方法对此显得力不从心。对于大规模的复杂软件系统来说,对总体的系统结构设计和规格说明比起对计算的算法和数据结构的选择已经变得明显重要得多。在此种背景下,人们认识到软件体系结构的重要性,并认为对软件体系结构的系统、深入的研究将会成为提高
软件生产率和解决
软件维护问题的新的最有希望的途径。自从软件系统首次被分成许多模块,模块之间有相互作用,组合起来有整体的属性,就具有了体系结构。好的开发者常常会使用一些
体系结构模式作为软件系统结构
设计策略,但他们并没有规范地、明确地表达出来,这样就无法将他们的知识与别人交流。软件体系结构是设计抽象的进一步发展,满足了更好地理解软件系统,更方便地开发更大、更复杂的软件系统的需要。
计算逻辑的主体应用程序、方便使用的
用户界面程序。从细节上来看每一个程序也是有结构的。早期的
结构化程序就是以语句组成模块,模块的聚集和嵌套形成层层调用的程序结构,也就是体系结构。结构化程序的程序(表达)结构和(计算的)
逻辑结构的一致性及自顶向下开发方法自然而然地形成了体系结构。由于
结构化程序设计时代程序规模不大,通过强调结构化
程序设计方法学,自顶向下、
逐步求精,并注意模块的
耦合性就可以得到相对良好的结构,所以,并未特别研究软件体系结构。
可以作个简单的比喻,结构化程序设计时代是以砖、瓦、灰、沙、石、
预制梁、柱、
屋面板盖平房和小楼,而
面向对象时代以
整面墙、整间房、一层楼梯的预制件盖高楼大厦。构件怎样搭配才合理?体系结构怎样构造容易?重要构件有了更改后,如何保证整栋高楼不倒?每种应用领域需要什么构件(医院、工厂、旅馆)?有哪些实用、美观、强度、造价合理的构件骨架使建造出来的建筑(即体系结构)更能满足用户的需求?如同土木工程进入到现代建筑学一样,软件也从传统的软件工程进入到现代面向对象的软件工程,研究整个软件系统的体系结构,寻求建构最快、成本最低、质量最好的构造过程。
软件体系结构虽脱胎于软件工程,但其形成同时借鉴了
计算机体系结构和
网络体系结构中很多宝贵的思想和方法,最近几年软件体系结构研究已完全独立于软件工程的研究,成为
计算机科学的一个最新的研究方向和独立学科分支。软件体系结构研究的主要内容涉及软件体系结构描述、
软件体系结构风格、软件体系结构评价和软件体系结构的
形式化方法等。解决好软件的重用、质量和维护问题,是研究软件体系结构的根本目的。
应用现状
形成研究热点,仍处于非形式化水平
自20世纪90年代后期以来,软件体系结构的研究成为一个热点。广大软件工作者已经认识到软件体系结构研究的重大意义和它对软件系统设计开发的重要性,开展了很多研究和实践工作。
从软件体系结构研究的现状来看,当前的研究和对软件体系结构的描述,在很大程度上来说还停留在非形式化的基础上。
软件构架师仍然缺乏必要的工具,这种工具应该是显式描述的、有独立性的形式化工具。
在通用的
软件开发方法中,其描述通常是用非形式化的图和文本,不能描述系统期望的存在于构件之间的接口,不能描述不同的组成系统的
组合关系的意义。难以被开发人员理解,更不能用来分析其一致性和完整性等特性。
当一个软件系统中的构件之间几乎以一种非形式化的方法描述时,系统的重用性也会受到影响,在设计一个
系统结构过程中的努力很难移植到另一个系统中去。对系统构件和连接关系的结构化假设没有得到显式的、形式化的描述时,把这样的系统构件移植到另一个系统中去将是有风险的,甚至是不可能的。
软件体系结构研究如果仅仅停留在非形式化的框图阶段,已经难以适应进一步发展的需要。为支持基于体系结构的开发,需要有形式化建模符号、体系结构说明的分析与
开发工具。从软件体系结构研究的现状来看,在这一领域近来已经有不少进展,其中比较有
代表性的是美国卡耐基梅隆大学(Carnegie Mellon University)的Robert J.A11en于l997年提出的
Wright系统。Wright是-种结构
描述语言,该语言基于一种形式化的、抽象的
系统模型,为描述和分析软件体系结构和
结构化方法提供了一种实用的工具。Wright主要侧重于描述系统的软件构件和连接的结构、配置和方法。它使用显式的、独立的连接模型来作为交互的方式,这使得该系统可以用逻辑
谓词符号系统,而不依赖特定的系统实例来描述系统的
抽象行为。该系统还可以通过一组
静态检查来判断系统结构规格
说明的一致性和完整性。从这些特性的分析来说,Wright系统的确适用于对大型系统的描述和分析。
软件体系结构的建模研究
研究软件体系结构的首要问题是如何表示软件体系结构,即如何对软件
体系结构建模。根据建模的
侧重点的不同,可以将软件体系结构的模型分为5种:
结构模型、框架模型、
动态模型、
过程模型和功能模型。在这5个模型中,最常用的是结构模型和动态模型。
软件开发模型是跨越整个
软件生存周期的
系统开发、运行、维护所实施的全部工作和任务的结构框架,给出了软件开发活动各阶段之间的关系。常见的软件开发模型大致可分为三种类型:
所有开发方法都是要解决需求与实现之间的差距。但是,这三种类型的软件开发模型都存在这样或那样的缺陷,不能很好地支持基于软件体系结构的开发过程。因此,研究人员在发展基于体系结构的软件开发模型方面做了一定的工作。例如,为了形象地表示体系结构的生命周期,
北京邮电大学的周莹新博士建立了一个软件体系结构的
生命周期模型,该模型如图2所示。
软件体系结构的开发是大型软件系统开发的关键环节。体系结构在软件生产线的开发中具有至关重要的作用,在这种开发生产中,基于同一个软件体系结构,可以创建具有不同功能的多个系统。在软件
产品族之间共享体系结构和一组可重用的构件,可以增加软件工程和降低开发和维护成本。
一个产品线代表着一组具有公共的系统需求集的软件系统,它们都是根据基本的
用户需求对标准的
产品线构架进行定制,将可重用构件与系统独有的部分集成而得到的。采用
软件生产线式模式进行软件生产,将产生巨型编程企业。但目前生产的软件产品族大部分是处于同一领域的。
主要影响
软件体系结构贯穿于
软件研发的整个
生命周期内,具有重要的影响。这主要从以下三个方面来进行考察:
体系风格
下面是Garlan和Shaw对通用体系结构风格的分类:
C2体系
C2体系结构风格可以概括为:通过连接件绑定在一起的按照一组规则运作的并行构件网络。C2风格中的系统组织规则如下:
图3是C2风格的
示意图。图中构件与连接件之间的连接体现了C2风格中
构建系统的规则。
C2风格是最常用的一种软件体系结构风格。从C2风格的组织规则和
结构图中,可以得出,C2风格具有以下特点:
(1)系统中的构件可实现应用需求,并能将任意复杂度的功能封装在一起;
(2)所有构件之间的通讯是通过以连接件为中介的异步消息
交换机制来实现的;
(3)构件相对独立,构件之间
依赖性较少。系统中不存在某些构件将在同一
地址空间内执行,或某些构件共享特定控制线程之类的
相关性假设。
管道/过滤器
在管道/过滤器风格的软件体系结构中,每个构件都有一组输入和输出,构件读输入的数据流,经过内部处理,然后产生输出数据流。这个过程通常通过对
输入流的变换及增量计算来完成,所以在输入被完全消费之前,输出便产生了。因此,这里的构件被称为过滤器,这种风格的连接件就象是数据流传输的管道,将一个过滤器的输出传到另一过滤器的输入。此风格特别重要的过滤器必须是独立的实体,它不能与其它的过滤器
共享数据,而且一个过滤器不知道它上游和下游的标识。一个管道/过滤器网络输出的正确性并不依赖于过滤器进行增量计算过程的顺序。
图4是管道/过滤器风格的示意图。一个典型的管道/过滤器体系结构的例子是以Unix shell编写的程序。Unix既提供一种符号,以连接各组成部分(Unix的进程),又提供某种进程
运行时机制以实现管道。另一个著名的例子是传统的
编译器。传统的编译器一直被认为是一种管道系统,在该系统中,一个阶段(包括
词法分析、
语法分析、
语义分析和
代码生成)的输出是另一个阶段的输入。
管道/过滤器风格的软件体系结构具有许多很好的特点:
但是,这样的系统也存在着若干不利因素。
数据抽象和面向对象
抽象数据类型概念对软件系统有着重要作用,软件界已普遍转向使用面向对象系统。这种风格建立在
数据抽象和面向对象的基础上,数据的表示方法和它们的相应操作封装在一个抽象数据类型或对象中。这种风格的构件是对象,或者说是抽象数据类型的实例。对象是一种被称作管理者的构件,因为它负责保持资源的完整性。对象是通过函数和过程的调用来交互的。
图5是数据抽象和面向对象风格的示意图。
面向对象的系统有许多的优点,并早已为人所知:
但是,面向对象的系统也存在着某些问题:
基于事件的隐式调用
基于事件的隐式调用风格的思想是构件不直接调用一个过程,而是触发或广播一个或多个事件。系统中的其它构件中的过程在一个或多个事件中注册,当一个事件被触发,系统自动调用在这个事件中注册的所有过程,这样,一个事件的触发就导致了另一模块中的过程的调用。
从体系结构上说,这种风格的构件是一些模块,这些模块既可以是一些过程,又可以是一些事件的集合。过程可以用通用的方式调用,也可以在系统事件中注册一些过程,当发生这些事件时,过程被调用。
基于事件的隐式调用风格的主要特点是事件的触发者并不知道哪些构件会被这些事件影响。这样不能假定构件的处理顺序,甚至不知道哪些过程会被调用,因此,许多隐式调用的系统也包含显式调用作为构件交互的补充形式。
支持基于事件的隐式调用的应用系统很多。例如,在
编程环境中用于集成各种工具,在
数据库管理系统中确保数据的一致性约束,在用户界面系统中管理数据,以及在编辑器中支持语法检查。例如在某系统中,编辑器和变量
监视器可以登记相应Debugger的断点事件。当Debugger在断点处停下时,它声明该事件,由系统自动调用处理程序,如
编辑程序可以卷屏到断点,变量监视器刷新变量数值。而Debugger本身只声明事件,并不关心哪些过程会启动,也不关心这些过程做什么处理。
隐式调用系统的主要优点有:
隐式调用系统的主要缺点有:
层次系统
层次系统组织成一个层次结构,每一层为上层服务,并作为下层客户。在一些层次系统中,除了一些精心挑选的输出函数外,内部的层只对相邻的层可见。这样的系统中构件在一些层实现了虚拟机(在另一些层次系统中层是部分
不透明的)。连接件通过决定层间如何交互的协议来定义,
拓扑约束包括对相邻层间交互的约束。
这种风格支持基于可增加抽象层的设计。这样,允许将一个复杂问题分解成一个增量步骤序列的实现。由于每一层最多只影响两层,同时只要给相邻层提供相同的接口,允许每层用不同的方法实现,同样为软件重用提供了强大的支持。
图6是层次系统风格的示意图。层次系统最广泛的应用是分层
通信协议。在这一应用领域中,每一层提供一个抽象的功能,作为上层通信的基础。较低的层次定义低层的交互,最低层通常只定义硬件
物理连接。
层次系统有许多可取的属性:
仓库
在仓库风格中,有两种不同的构件:中央数据结构说明当前状态,独立构件在中央数据存贮上执行,仓库与外构件间的
相互作用在系统
中会有
大的变化。
控制原则的选取产生两个主要的子类。若输入流中某类时间触发进程执行的选择,则仓库是一传统型数据库;另一方面,若中央数据结构的当前状态触发进程执行的选择,则仓库是一黑板系统。
图7是黑板系统的组成。黑板系统的传统应用是
信号处理领域,如语音和
模式识别。另一应用是
松耦合代理
数据共享存取。
我们从图4中可以看出,黑板系统主要由三部分组成:
(1)
知识源。知识源中包含独立的、与应用程序相关的知识,知识源之间不直接进行通讯,它们之间的交互只通过黑板来完成。
(2)黑板数据结构。黑板数据是按照与应用程序相关的层次来组织的解决问题的数据,知识源通过不断地改变黑板数据来解决问题。
(3)控制。控制完全由黑板的状态驱动,黑板状态的改变决定使用的特定知识。
发展方向
信息互换
现有的ADLs大多是与领域相关的,所以不利于对不同领域体系结构的说明。但这些针对不同领域的ADLs在某些方面又大同小异,造成资源的冗余。其实,大多数ADLs具有一系列的共同概念。如何用一种公共形式把各种语言综合起来,使得能够交换各种体系结构描述信息,将是今后软件体系结构研究和实践的重点之一。
设计工具和环境
软件
体系结构设计既然作为软件工程的一部分,它的计算机辅助实现手段是相当重要的。我们应当开发出一些
软件工具来实现体系结构的描述和分析,
开发阶段转换工具,以
实现阶段成果的自动转换,例如,把需求
规格说明自动转换为构件等。关于这方面的研究成果很少,特别是可以应用到实际
项目开发中的工具和环境就更少。
体系结构再工程
当今
软件系统的规模变得越来越大,结构也越来越复杂,同时从头开始构建的大系统数量在急剧地减少,因而很多
遗留系统正在被逐步地利用。从遗留系统软件代码和系统中抽取结构信息,经过描述、统一、抽象、一般化与实例化等处理,可总结出系统的体系结构。
在这种情况下,
软件再工程变得越来越重要,因为它提供了一条把遗留
系统转换为可进化系统的现实可行的途径,是一种可以改进人们对软件的理解和改进软件本身的活动。这类研究的目的是为一些特定的
应用领域的软件系统提供一些体系结构框架,如控制系统、移动机器人和
用户接口界面等。通过这些框架可以很方便地构造一个新的软件系统。