填空题 （）支持对构件之间交互的形式化和分析。

填空题 典型的ADL在充分继承和吸收传统程序设计语言的（）和（）特点的同时，还应该具有构造、抽象、重用、组合、异构和分析推理等多种能力和特性。（）能力指的是ADL使得其描述的每一个系统元素都有其自己的局部结构。

填空题 基于构件的动态体统结构模型（CBDSAM）支持运行系统的动态更新。该模型分为三层，分别是应用层、（）和（）。