当前软件体系结构的研究主要集中在静态体系结构上，这种体系结构在运行时不能发生改变，缺乏表示动态更新的...

是一种对动态软件体系结构的分析、测试非常有用的形式化描述技术。