没有万能模型

没有一种建模方法能覆盖所有架构需求：图形模型便于沟通，UML便于工程协作，形式化模型便于验证，文本模型便于叙述约束。模型选择本身就是架构权衡。