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

典型的ADL在充分继承和吸收传统程序设计语言的（）和（）特点的同时，还应该具有构造、抽象、重用、组合、异构和分...

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

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

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

体系结构的动态性主要分为（）、（）、（）。

填空题体系结构的动态性主要分为（）、（）、（）。