ADL难统一

架构描述语言难以统一，是因为不同系统关注的架构侧面不同：实时系统重视时序，交互系统重视消息，形式化验证重视语义精确。通用表达越强，学习和落地成本越高。