单项选择题 在扩充的BNF范式给出的πADL描述体系结构的框架中，[1+···]表示其中的项出现（）。

单项选择题 对动态软件体系结构的形式化描述通常可以采用的方法？（）

单项选择题 下列选项中关于ADL与其他语言的比较说法中错误的是（）。