软件架构建模五类方法的历史演进

架构建模是把架构设计决策具象化、文档化的过程，其价值在于把关键或关注的方面从架构整体中剥离出来，用统一的图形、文档和数据描述，从而让不同利益相关者能有效交流——这是架构从”存在于人的头脑中”变成”可以传递、可以验证”的关键一步。以时间为序，建模方法先后出现五类：①基于非规范图形表示的方法（1981-1994年，用线框描述架构，随意但富有启发性；其中”基于模块连接语言”的分支直接与编程语言的模块连接方式绑定，抽象层次不够，已基本过时）；②基于UML的方法（当前最流行，兼顾可视化与一定的架构建模特性）；③基于形式化规格说明语言的方法（重精确性而非直观性，用形式语言描述架构、具备严格语义和推理能力）；④基于UML形式化的方法（把UML的架构描述结构做形式化处理，取两者之长）；⑤其他方法，以文本语言建模为代表——用文本文件（而非图形）描绘架构，优势是能在单个文档里描述整体架构、能复用成熟的文本编辑与语法检查工具（语法高亮、静态检查、自动补全、代码折叠），劣势是难以清晰表达类图这类非线性、非层次化的结构关系。这条演进链的核心矛盾始终是”直观性”与”精确性”的取舍：图形类方法（①②⑤）优先保证人能看懂，形式化类方法（③④）优先保证机器能验证，至今没有一种方法能同时把两者做到最好。