体系结构描述语言

体系结构描述语言的研究由来已久。早期的体系结构描述采用非形式化的图片、图示和文本等形式。1975年，F.德雷默（Frank Deremer）和H.克朗（Hans Kron）设计了模块互连语言（module interconnection language; MIL）用于描述基于模块的大规模软件互连方法。随着模块之间关系越来越复杂，人们常常利用构件、构件之间的交互关系及其配置来描述软件体系结构，支持这种描述的语言都被称为体系结构描述语言。

体系结构描述语言可以是形式化或半形式化的描述语言，也可以是图形语言。使用ADL描述系统的优点是ADL具有严谨的语法和语义，能够精确指定系统的相关元素，为软件体系结构的求精、验证、演变和分析奠定基础。不同的ADL虽然描述语法不同，但都具有构造、抽象、重用、组合、异构和分析推理等能力和特性。ADL的基本要素包括构件、连接件和配置。构件表示系统的计算和数据存储单元，连接件体现构件之间的交互规则，而配置表示构件和连接件的拓扑逻辑和约束。考虑到不同ADL的差异性，体系结构分析工具通常基于某个特定的ADL。

体系结构描述语言可分为配置结构描述语言、实例描述语言和风格描述语言三类。配置结构描述语言（如Darwin、CHAM等）主要对体系结构的静态和动态配置以及配置演变所具有的性质进行描述。实例描述语言（如Rapide）主要用于描述针对特定系统快速建立结构框架原型。风格描述语言（如Wright）主要描述软件系统使用的结构模式和体系结构风格的含义。典型的体系结构描述语言有：①Unicon。最早出现的体系结构描述语言。由软件工程研究所（Software Engineering Institute; SEI）和卡内基梅隆大学联合设计，关注系统的结构化特性。②Darwin。用π演算对系统行为进行建模，能够描述高度动态的体系结构。③Rapide。以体系结构的定义作为开发框架，支持基于构件的开发，具有建模、分析、仿真和生成代码的能力。④Wright。该语言将系统结构的连接件定义为明确的语义实体。采用CSP描述，适合描述和分析体系结构的动态行为特性。⑤Z语言。Z语言的数学基础是一阶谓词逻辑和集合论，能够建立数学对象的模型，可以作为软件工程的规格说明语言。

设计ADL时应该考虑：①构造能力。能够使用较小的体系结构元素构建大型软件系统。②抽象能力。只描述构件和连接件的抽象特性，不关注具体实现细节。③重用能力。使得软件系统中的元素及体系结构成为软件设计开发过程中的可重用部件。④组合能力。指每个系统元素都有自己的局部结构，从而能够动态组合生成新的系统。⑤异构能力。同一个体系结构中允许有多种不同描述语言。⑥分析和推理能力。允许对体系结构进行不同性能和功能上的多种推理分析。