[填空题]

ADL是一种在底层语义模拟支持下的形式化语言。基于底层语义的工具为体系结构的（）、分析、（）、（）、设计过程等提供支持。