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

摘要：

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

关键词：软件体系结构、软件体系描述语言、时序逻辑、面向方面体系结构描述语言

所属期刊栏目：37

分类号：TP311.52(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60773006;高等学校博士学科点专项科研基金资助项目20060486045

在线出版日期：2010-04-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：146-152,162