【架构设计】软件架构描述语言 ADL

不止学什么，还要学为什么

说了架构是什么，那我们总得有个东西去描述架构吧？

要表达架构有什么东西吧？架构是如何一个结构吧？

就和建筑的图纸是一样滴

没错，就是 !

—— 架构描述语言 

—— Architecture Description Language

不过在此之前先说明，我们只要了解下是啥东西就好了

因为这玩意非常难用，学习门槛高，难以理解

为什么呢，因为这玩意和数学沾边！

ADL 是一种重数据和逻辑的专家级语言！所以在 理论界的地位相当高！

但是！！在实际应用中却难以推广，真的难用

所以通常大家都会使用非正式的语言来描述架构，比如 UML

比较地自由，没啥约束，就算你画得不标准，看得懂都行

重在表意

而 ADL 是有严格的规范和语法的，必须正确！

比如同样是描述两个组件交互

为什么 ADL 要这么地麻烦？

因为它在设计之初，就是是

一门以数学为基础，并支持推理的形式化语言

看这句话有力竭了吧？没事，我们来解释下

数学，就是 数理逻辑、代数、自动机理论或图论 等，不用关心，也就列一下

形式化语言，就是定义了一套特定的数学符号和语法规则，要求每一行描述都必须符合底层的数学规则

那相反的就是 非形式化语言了呗，就比如 自然语言，自由随意，那带来的问题就是

—— 模糊性和二义性

最经典的应该就是菜谱了吧 —— 放少许盐，小火慢炖

所以形式化语言，就是消除模糊性和二义性，好比定义了一套白名单词汇，你只能从里面挑出来用，那自然一就是一，二就是二

推理，这个就厉害了，在前两者的基础上，输出的内容那自然是十分严谨的

所以它可以直接给分析工具使用！

计算机工具自动证明该软件架构是否正确，或者提前找出隐藏的错误

所以 这便成就了 ADL 的最大作用！

这个确实了不得，那它难用也确实是有道理的了…

不过就是注定在前期耗费太多时间

但是！我觉得在 AI 时代，或许它可以迎来它的春天，因为我完全可以通过自然语言，让他生成严谨的专家级语言！！

这就是我觉得要了解的原因

但是 ADL 并不是一种具体的描述语言，而是一个集合概念

类似于 编程语言 这个概念一样，具体的是 Java、JavaScript、C++ 等几百种语言

所以同样的 ADL 也有很多种具体的语言，简单看看，知道有啥就好了

但是虽然有很多种语言，但是他们是有共性的

一个标准的 ADL 必须支持以下四个核心设计元素

约束和 架构配置有点容易混淆诶

再简化下，约束 就是 连接规则， 架构配置就是具体的连接

举个例子

约束就是 男的只能和女的结婚，架构配置就是 具体哪个男的和哪个女的结婚！

OK

我们现在也算是对ADL 有了一个大致的了解了，这个程度也足够了，再深入就要长脑子了，以后这种长脑子的活，就交给AI了

最后来看个 ADL 的例子好饿了，以 ACME 语言为例

我们来描述一些这个架构场景

一个客户端和一个服务端，客户端主要负责发送请求，服务端负责接收请求

它们之间通过 RPC来进行网络通信

严格且精确地限制了客户端和服务端不能直接胡调用，而是必须

可不是乱打的啊，一板一眼有备而来

好饿了，建立个印象就好了

所以现在我们知道了

OK

（完）