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

A、图形化方法

B、代数进程方法

C、逻辑方法

D、以上皆是