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