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