软件体系结构描述语言ADL综述 bycs.pdf

: .
ADL 的定义
从上述一小节我们可以看出，学术领域对 ADL 的理解还存在着分歧。我
们认为：ADL 是这样一种形式化语言，它在底层语义模型的支持下，为软件
系统的概念体系结构建模提供了．具体语法与概念框架。基于底层语义的工
具为体系结构的表示、分析、进化、细化、设计过程等提供支持。其三个基
本构成元素是：1)组件—— 计算或数据存储单元；2)连接子—— 用于组件
问交互建模的体系结构构造块及其支配这些交互的规则{3)体系结构配置—
— 描述体系结构的组件与连接于的连接图。
ADL 应具备的特点
，ADL首先应有一个形式化理论基础，
如Pet“网、状态图、z、 CSP” 等。有了形式化理论基础，才能对所描述
的系统进行分析和验证。如Wright用CSP进行描述、Rapide采用偏序事件集
合等。
作为一种描述语言，ADL 应具有严谨的语法和语义。描述能力应
足够强，至少应能描述的基本构件如组件、连接件及有关配置规范。同时，
为了更好的应用，一种 ADL，应有相应的支持工具，支持工具的能力直接反
映了该 ADL 的可使用程度和范围。
描述软件体系结构的一个很重要的目的是为了便于软件开发者
的理解和交流，因此， ADL 描述应简单易懂，最好有图表辅助理。对解 于同
一个体系结构，不同的软件开发者需要从不同的抽象层次上理，解 这就要求
第 2 页/共 12 页连接子的定义的语法如下(从中也可以看出 UniCon 目前支持的连接子实现的
类型):
UniCon ,UniCon 强调
将系统划分为构件后,用适当的连接子将其组装起来构成一个完整的系统.
备受诟病的一点是它只支持预定义
的连接子,,相关研究人员在
UniCon 称为 UniCon--2
提供了一个比较灵活的类型系统,并且引入了责任(duty)这个概念用于描述
演员,
UniCon-2 允许用户引入新类型 ,为了便于对与新类型相关的约束
进行检查,UniCon-2采用了一种开放的编译器结构以便于增加相应的检测方
法.

C2 SADL
C2 SADL 是 UCI 设计的一种基于消息传递的体系结构描述语言,主要用于
描述符合 C2 风格的软件系统的体系结构.
C2 风格
C2 风格是一种基于构件和消息的体系结构风格,主要是应用于带有图形
用户接口(GUI)的应用系统,
C2 构件和 C2 连接子都有一个 top 接
口和一个 bottom 接口,其中 top 接口定义了该构件所能接收的应答消息和向
上发出的请求消息,而 bottom接口定义了该构件能够进行应答的请求消息及

风格的体系结构将系统中的构件用连接子划分为不同层次,.
C2 风格的体系结构:可视化堆栈(Stack)
C2 风格的核心在于构件之间的"有限可见性",即处于系统中某个层次的
构件只能"看到"上层的构件,而不清楚下层到底是什么构件在与之进行通信.
具体表现在如下所述的构件之间的通信规则(即系统的组装规则):
top 接口只可能与某一个连接子的bottom 接口相连
bottom 接口只可能与某一个连接子的top 接口相连
3