基于时序逻辑的面向方面体系结构描述语言

     运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征, 它们混杂和散列在不同的SA设计单元中, 使得SA难以理解、难以演化和难以重用。针对这一问题, 基于时序逻辑语言XYZ/E, 在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释, 最后结合案例介绍了如何用AC2-ADL对SA进行描述。